Вы здесь

Главная

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

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

Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems
Completeness Results for Two-sorted Metric Temporal Logics
Completeness through Flatness in Two-Dimensional Temporal Logic
Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures
Composite Temporal Events in Active Databases Rules: A Logic-Oriented Approach
Compositionality and bisimulation: A negative resalt
Compositionality and Bisimulation: a negative result
Compositional Reasoning Using Interval Temporal Logic and Tempura
Compositional Verification in Linear-Time Temporal Logic
Conceptual Modeling and Manipulation of Temporal Databases
Consensus-based Timestamps in Distributed Temporal Databases
Constrained Matching is Type Safe
Constraint Deduction in an Interval-based Temporal Logic
Constraint Oriented Temporal Logic Specification
Database and Expert Systems Applications, Part I: Proc./26th Interntional Conference, DEXA 2015, Valencia, Spain, September 2015
Database Models for Infinite and Indefinite Temporal Information
Databases Theory and Application: Proc./32nd Australasian Database Conference, ADC 2021, Dunedin, New Zealand, January 2021
Databases Theory and Applications: Proc./29th Australian Database Conference, ADC 2018, Gold Coast, QLD, Australia, May 2018
Database Systems for Advanced Applications: Proc./DASFAA 2017 International Workshops: BDMS, BDQM, SeCoP, and DMMOOC, Suzhou, China, March 2017
Data Models with Multiple Temporal Dimensions: Completing the Picture
DBMS Support for Time and Totally Ordered Compound Data Types
Dealing with Granularity of Time in Temporal Databases
Decising Global Partial-Order Properties
Decision Procedure for Temporal logic of Concurrent Objects
DEGAS: Capturing Dynamics in Objects
Derivation of the Input Conditional Formula from a Reactive System Specification in Temporal Logic
Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic
Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing
Difficult Configurations - On the Complexity of LTrL
Discovering Frequent Event Patterns with Multiple Granularities in Time Sequences
Discovering Unexpected Patterns in Temporal Data Using Temporal Logic
Distributed Real-Time System Sprcification and Verification in APTL
DYANA - The System for Distributed Programs and Computer Systems Behavior Analysis
Dynamic Schema Evolution Management Using Version in Temporal Object-Oriented Databases
DYNAMO: A Processes-Processors Mapper for Occam2 Programs
Efficiency Executable Temporal Logic Programs
Efficient Algorithms for Qualitative Reasoning About Time
Efficient Computation of Solutions for Contradictory Time Interval Networks
Efficient Implementation of the Event Calculus for Temporal Database Applications
Efficient Organization and Access of Multi-Dimensional Datasets on Tertiary Storage Systems
Efficient Storage Structures for Temporal Object-Oriented Databases
Equivalences and Preorders of Transition Systems
ESTL: A Temporal Logic for Events and States
EVORM: A Conceptual Modelling Technique for Evolving Application Domains
Executable Modal and Temporal Logics: Proc./IJCAI 93 Workshop. Chambery, France, August 1993
Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond
Exploiting Symmetry In Temporal Logic Model Checking
Expressing Temporal Behaviour with Extended ECA Rules
Expressive Power of Temporal Logics
Expressive Power of Temporal Relational Qiery Languages and Temporal Completeness