1080 search results - page 19 / 216 » Protocol Based Communication for Situated Multi-Agent System... |
IJIT
2004
14 years 11 months ago
2004
Both software applications and their development environment are becoming more and more distributed. This trend impacts not only the way software computes, but also how it looks. T...
102
click to vote
PRDC
2008
IEEE
15 years 4 months ago
2008
IEEE
We consider efficient real-time communication mechanisms for applications in unreliable and partitionable networks, where network partitions can occur unpredictably and nodes can ...
100
click to vote
FMICS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
DSD
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper, the methodology for automated design of checker for communication protocol testing is presented. Based on the level of checking, different design strategies can be ...
DSN
2005
IEEE
15 years 3 months ago
2005
IEEE
Database replication based on group communication systems has recently been proposed as an efficient and resilient solution for large-scale data management. However, its evaluati...