173 search results - page 4 / 35 » Model Checking Communicative Agent-Based Systems |
ICPPW
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...
DALT
2008
Springer
13 years 9 months ago
2008
Springer
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
ATAL
2005
Springer
14 years 25 days ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
KBSE
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
TSD
2001
Springer
13 years 11 months ago
2001
Springer
The Internet offers remote access to many information systems to users independent of time and location. This paper describes an agent based approach to deal with issues that rise ...