2875 search results - page 400 / 575 » Model checking agentspeak |
114
click to vote
CIA
2003
Springer
15 years 8 months ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...
134
click to vote
ECOOP
2003
Springer
15 years 8 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
136
click to vote
MOMM
2009
ACM
15 years 7 months ago
2009
ACM
This paper proposes a new approach for modelling, testing and prototyping pervasive, possibly mobile, and distributed applications. It describes a set of tools aimed at supporting...
160
click to vote
EUROCAST
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
126
click to vote
ICALP
2001
Springer
15 years 7 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...