Вы здесь

Главная

временной

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

1.1 Why Spatio-temporal Databases?
3. Conceptual Models for Spatio-temporal Applications
4. Spatio-temporal Models and Languages: An Approach Based on Data Types
5. Spatio-temporal Models and Languages: An Approach Based on Constraints
7. Architectures and Implementations of Spatio-temporal Database Management Systems
8. Advanced Uses: Composing Interactive Spatio-temporal Documents
9. Spatio-temporal Databases in the Years Ahead
A Bounded True Concurrency Process Algebra for Performance Evaluation
Adaptive and Intelligent Systems: Proc./3rd International Conference, ICAIS 2014, Bournemouth, UK, September 2014
Advances in Spatial and Temporal Databases: Proc./10th International Symposium, SSTD 2007. Boston, MA, USA, July 2007
Advances in Spatial and Temporal Databases: Proc./11th International Symposium, SSTD 2009. Aalborg, Denmark, July 2009
Advances in Spatial and Temporal Databases: Proc./7th Intern. Symp., SSTD 2001, Redondo Beach, CA, USA, July 2001
Advances in Spatial and Temporal Databases: Proc./8th Intern. Symp., SSTD 2003, Santorini Island, Greece, July 2003
Advances in Spatial and Temporal Databases: Proc./9th International Symposium, SSTD 2005. Angra dos Reis,Brzil,August 2005
A Functional Approach for Temporal x Modal Logics
A Hierarchical Completeness Proof for Propositional Temporal Logic
An Algebra of Petri Nets with Arc-Based Time Restrictions
Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic
An Analysis of Consistency Properties in Existing Spatial and Spatiotemporal Data Models
A New Shape Function Based Spatiotemporal Interpolation Method
An Extensible Notation for Spatiotemporal Index Queries
An Updated Bibliography of Temporal, Spatial, and Spatio-temporal Data Mining Research
Applications of Motion Field of Curves
A Spatiotemporal Model and Language for Moving Objects on Road Networks
A Spatiotemporal Model as the Basis for a Persistent GIS
A Theory of Spatio-temporal Database Queries
Automated Technology for Verification and Analysis: Proc./Third International Symposium, ATVA 2005. Taipei, Taiwan, October 2005
Bisimulation for fluid stochastic Petri nets
Cellular Automata and Discrete Complex Systems: Proc./22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 2016
Change Management for a Temporal Versioned Object-Oriented Database
CHOROCHRONOS - Research on Spatio-temporal Database Systems
CHRONOS: пространственно-временной сервер данных для ГИС
CONCUR 2006 - Concurrency Theory: Proc./17th International Conference, CONCUR 2006. Bonn, Germany, August 2006
Decision Problems for Timed Automata: A Survey
Designing tableau-like axiomization for Propositional Linear Temporal Logic at home of Arthur Prior
Detection of Complex Temporal Patterns over Data Streams
Developing Object-Oriented Video Database System with Spatio-Temporal Reasoning Capabilities
DISTIL: A Design Support Environment for Conceptual Modeling of Spatio-temporal Requirements
Efficient Indexing of Spatiotemporal Objects
Efficient Mining of Spatiotemporal Patterns
Efficient Processing of Spatiotemporal Joins
Expressiveness of Timed Events and Timed Languages
First-Order LTL Model Checking Using MDGs
Formal Aspects of Component Software: Revised Selected Papers/12th International Conference, FACS 2015, Niteroi, Brazil, October 2015
Formal Methods for the Design of Real-Time Systems: Revised Lectures/International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004. Bertintoro, Italy, September 2004
Formal Methods in Artificial Intelligence
Formal Modeling and Analysis of Timed Systems: Proc./4th International Conference, FORMATS 2006. Paris, France, September 2006
Formal Modeling and Analysis of Timed Systems: Proc./5th International Conference, FORMATS 2007. Salzburg, Austria, October 2007
Formal Modeling and Analysis of Timed Systems: Proc./Third International Conference, FORMATS 2005. Uppsala, Sweden, September 2005
Formal Reasoning on Timing at the Timing Diagram Level