Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling temporal primitives: back to basics
CIKM '97 Proceedings of the sixth international conference on Information and knowledge management
Temporal granularity for unanchored temporal data
Proceedings of the seventh international conference on Information and knowledge management
Temporal Granularity: Completing the Puzzle
Journal of Intelligent Information Systems
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Approximate Qualitative Temporal Reasoning
Annals of Mathematics and Artificial Intelligence
The Real-Time Process Algebra (RTPA)
Annals of Software Engineering
A Timed Calculus for Distributed Objects with Clocks
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
CT '01 Proceedings of the 4th International Conference on Cognitive Technology: Instruments of Mind
Dealing with different time scales in formal specifications
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Temporalized logics and automata for time granularity
Theory and Practice of Logic Programming
Logical specification of real-time granular systems in an object oriented language
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
A point based model of the Gregorian Calendar
Computer Languages, Systems and Structures
Delivering real-time behaviour
Domain modeling and the duration calculus
A timeband framework for modelling real-time systems
Real-Time Systems
| Hi-index | 0.00 |