Вы здесь

Главная

временной

Связанные издания:

Ten Benchmark Database Queries for Location-based Services
Testing Temporal Logic Properties in Distributed Systems
The BASIS System: A Benchmarking Approach for Spatial Index Structures
The Honeycomb Model of Spatio-Temporal Partitions
The Italian Cadastral Information System: A Real-Life Spatio-Temporal DBMS
Theories and Methods of Spatio-Temporal Reasoning in Geographic Space: Proc./Intern.Conf. GIS- From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, Sept. 1992
Timed Alternating-Time Temporal Logic
Timed Equivalences for Timed Event Structures
Timed Petri Nets and Application to Multi-stage Production Systems
Timed Petri Nets: Efficiency of Asynchronous Systems
Timed Process Algebra (With a Focus on Explicit Termination and Relative Timing)
Timed Testing for Dense Timed Model
Time Petri Nets without Intersections of Firing Intervals
Timestamp Semantics and Representation
Time Supervision of Concurrent Systems Using Symbolic Unfolding of Time Petri Nets
T-ODMG: An ODMG Compliant Temporal Object Model Supporting Multiple Granularity Management
Towards Parametric Verification of Prioritized Time Petri Nets
Tractable Query Answering in Indefinite Constraint Databases: Basic Results and Applications to Querying Spatiotemporal Information
Tripod: A Comprehensive Model for Spatial and Aspatial Historical Objects
Uncertainty in Spatiotemporal Databases
Using Interactive, Temporal Visualizations for WWW-based Presentation and Exploration of Spatio-Temporal Data
Validity Information Retrieval for Spatio-Temporal Queries: Theoretical Performance Bounds
Verification in Predicate Logic with Time: Algorithmic Questions
Verifying Linear Duration Constraints of Timed Automata
Автоматический анализ и верификация распределенных систем реального времени
Альтернативная характеризвция понятия зоны временных сетей Петри с динамическими приоритетами
Анализ временных и пространственных понятий, встречающихся в текстах на естественном языке
Временные сети Петри без перекрытий интервалов срабатывания
Инварианты временных сетей Петри
Индексирование во временных базах данных
Использование техники частичных порядков для верификации временных сетей Петри
Клеточно-нейронные модели пространственно-временной динамики
Компаративная трассовая семантика временных сетей Петри
Метод верификации свойств параллелизма временных сетей Петри
Метод параметрической верификации поведения временных сетей Петри
Методы анализа вероятностно-временных характеристик модели мультисервисной сети с потоковым и эластичным трафиком
Методы спецификации и верификации параллельных моделей с непрерывным временем
Минимизация джиттера при планировании вычислений в системах реального времени
Об одной геометрической модели временных параллельных процессов
О взаимосвязях поведенческих эквивалентностей временных сетей Петри
Отображение временных причинно-следственных структур во временные сети Петри
Параллельные варианты may-тестовых эквивалентностей временных сруктур событий
Представление временных конструкций Estelle в различных моделях временных сетей Петри
Применение временной логики к спецификации программ
Программное обеспечение ЭВМ. Библиотека прикладных программ БИМ-М. Вып. 31. Анализ временных рядов
Расширение реляционной модели для баз данных временных рядов
Редукция разверток безопасных временных сетей Петри
Симулятор иерархических временных типизированных сетей
Структура хранения для временных баз данных
Теоретико-категорная характеризация различных эквивалентностей на временных автоматных моделях