198 search results - page 27 / 40 » Extended Temporal Logic Revisited |
SPIN
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
103
click to vote
SC
2009
ACM
15 years 6 months ago
2009
ACM
We present a scalable temporal order analysis technique that supports debugging of large scale applications by classifying MPI tasks based on their logical program execution order...
103
click to vote
ARTMED
2006
14 years 11 months ago
2006
Objective: Currently, visualization support for patient data analysis is mostly limited to the representation of directly measured data. Contextual information on performed treatm...
121
click to vote
ISKI
1994
15 years 3 months ago
1994
This paper aims at integrating techniques of non-monotonic reasoning about updates and of object-oriented specification of information systems. We present how to utilize defaults i...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectation...