Вы здесь

Главная

временной

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

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Proc./Joint International Conferences FORMATS 2004, and FTRTFT 2004. Grenoble,France,September 2004
Foundations of Web Transactions
Graph-Based Representation and Reasoning: Proc./22nd International Conference on Computational Structures, ICCS 2016, Annecy, France, July 2016
Is Timed Branching Bisimilarity an Equivalence Indeed?
Machines, Computations, and Universality: Proc./8th International Conference, MCU 2018, Fontainebleau, France, June 2018
Mapping of Time Cause-Effect Structures into Time Regular Petri Nets
Model Checking Software: Proc./12t International SPIN Workshop. San Francisco, CA, USA, August 2005
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Modeling and Formal Verification of Production Automation Systems
Modeling Temporally Variable Transportation Networks
Modeling Timed Concurrent Systems
Monitoring Temporal Rules Combined with Time Series
Nearest Neighbor Queries in a Mobile Environment
Numerical Methods and Applications: Revised Selected Papers/9th International Conference, NMA 2018, Borovets, Bulgaria, August 2018
Online Testing of Real-Time Systems Using UPPAAL
Ontology Spatio-temporal Databases
Open maps and barbed bisimulation for timed transition systems
Overlapping Linear Quadtrees and Spatio-Temporal Query Processing
Parallel implementation of the Ramalingam decremental algorithm for dynamic updating the single-sink shortest paths subgraph
Parametric Rectangles: A Model for Querying and Animation of Spatiotemporal Databases
Processing of Spatiotemporal Queries in Image Databases
Propositional Temporal Logics and Equivalences
Quantitative Evaluation of Systems: Proc./11th International Conference, QEST 2014, Florence, Italy, September 2014
Querying Mobile Objects in Spatio-Temporal Databases
Reachability Analysis for Time Petri Nets Without Overlappings of Firing Intervals
Real-Time Event Structures and Scott Domains
Refinement of actions for real-time concurrent systems with casual ambiguity
Remarks on Timed Nets
Runtime Verification: Selected Papers/9th International Workshop, RV 2009. Grenoble, France, June 2009
Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids
Similar Sub-trajectory Retrieval for Moving Objects in Spatio-temporal Databases
Simple is Better: Efficient Bounded Model Checking for Past LTL
Spatial Temporal Queries and Triggers for Managing Moving Objects
Spatio-Temporal Database Management: Proc./Intern. Workshop STDBM 99. Edinburgh, Scotland, September 1999
Spatio-Temporal Databases
Spatio-temporal Database with Milti-granularities
Spatio-Temporal Geographic Information Systems: A Causal Perspective
Spatio-temporal Indexing in Database Semantics
Specification and Formal Verification of Temporal Properties of Production Automation Systems
SQL ST: A Spatio-Temporal Data Model and Query Language
Statistical Network Analysis: Models, Issues, and New Directions: Revised Selected Papers/ICML 2006 Workshop. Pittsburgh, PA, USA, June 2006
Synchronized Condition / Event Systems
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Temporal and Staio-Temporal Aggregations over Data Streams using Multiple Time Granularities
Temporal Data Modeling and Integrity Constraints in Relational Databases
Temporality in Databases
Temporal, Spatial, and Spatio-Temporal Data Mining: Proc./First Intern. Workshop, TSDM 2000, Lyon, France, September 2000
Temporal Structures in Data Warehousing
Temporal View Self-Maintenance
Temporal XML