24 search results - page 4 / 5 » The Reaction Algebra: A Formal Language for Event Correlatio... |
JUCS
2008
13 years 5 months ago
2008
: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of n...
CONCUR
1990
Springer
13 years 9 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
ATAL
2007
Springer
13 years 12 months ago
2007
Springer
We develop a Belief-Desire-Intention (BDI) style agent-oriented programming language with special emphasis on the semantics of goals in the presence of the typical BDI failure han...
COMPSAC
2007
IEEE
13 years 9 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
POPL
2008
ACM
14 years 6 months ago
2008
ACM
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...