3028 search results - page 18 / 606 » Integrating Temporal Logics |
ANSS
2006
IEEE
14 years 3 months ago
2006
IEEE
To simulate adaptive agents with abilities matching those of their real-world counterparts, a natural approach is to incorporate adaptation mechanisms such as classical conditioni...
FUIN
2006
13 years 9 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
ENTCS
2006
13 years 9 months ago
2006
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
IGPL
2006
13 years 9 months ago
2006
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...
RSCTC
2000
Springer
14 years 1 months ago
2000
Springer
In the paper we investigate the problem of analysis of time related information systems. We introduce notion of temporal templates, i.e. homogeneous patterns occurring in some peri...