Вы здесь

Главная

темпоральный

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

Semantic Interoperability of Multitemporal Relational Databases
Semantics of Time-Varying Attributes and Their Use for Temporal Database Design
Semantics of Time-Varying Information
Signed Interval Logic
Software Testing via Model Checking
Solving Temporal Constraints Satisfaction Problems with an Object-Oriented Model
Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects
Spatio-Temporal Image Processing. Theory and Scientific Applications
Specification and Implementation of Temporal Database in a Bitemporal Event Calculus
Specification and Verification Using a Visual Formalism on Top of Temporal Logic
Specification of Calendars and Time Series for Temporal Databases
Specification of Real-Time Systems Using ASTRAL
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Specifying Timed State Sequences in Powerful Decidable Logics and Timed Automata
SQL+i: Adding Temporal Indeterminacy to the Database Language SQL
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems
Stutter-Invariant Languages, -Automata, and Temporal Logic
Symbol Model Checking
Synchronization of Logics with Mixed Rules: Completeness Preservation
TALE - A Temporal Active Language and Execution Model
TEDL: A Temporal Functional Language for the Management of Historical Databases
Temporal Analysis of Time Bounded Digital Systems
Temporal and Functional Verification of a Symbolic Representation of Complex Systems
Temporal and Modal Logic
Temporal Association Algebra: A Mathematical Foundation for Processing Object-Oriented Temporal Databases
Temporal Database Bibliography Update
Temporal Databases: An Event Oriented Approach
Temporal Databases: Model Design and Commercialization Prospects
Temporal Databases: Research and Practice
Temporal Databases with Null Values
Temporal Database Technology for Air Traffic Flow Management
Temporal Data Management
Temporal Extensions to a Uniform Behavioral Object Model
Temporal Features of Class Populations and Attributes in Conceptual Models
Temporal Logic and Annotated Constraint Logic Programming
Temporal Logic: Proc./First Intern. Conf., ICTL 94. Bonn, Germany, July 1994
Temporal Logic Programming in Dense Time
Temporal Logic Programming with Metric and Past Operators
Temporal Logics for the Specification of Performance and Reliability
Temporal Logic + Timed Automata: Expressiveness and Decidability
Temporal Logic with Reference Pointers
Temporal Modules: An Approach Toward Federated Temporal Databases
Temporal Object-Oriented Programming
Temporal Probabilistic Logic Programs
Temporal Query Languages: A Survey
Temporal Semantic Assumptions and Their Use in Databases
Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning
Temporal Structures
Temporal Support for Geo-Data in Object-Oriented Databases
Temporal Theories of Reasoning