361 search results - page 63 / 73 » Message Sequence Charts |
LADS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Using a knowledge-based approach we adjust a knowledgebased algorithm for multi-agent communication for the process of cooperative problem solving (CPS). The knowledge-ba...
ADHOCNOW
2005
Springer
14 years 1 months ago
2005
Springer
Mobile ad hoc networks (MANET) are dynamic networks formed on-the-fly as mobile nodes move in and out of each others’ transmission ranges. In general, the mobile ad hoc networki...
LADC
2005
Springer
14 years 29 days ago
2005
Springer
We present a framework for building fail-safe hard real-time applications in timed asynchronous distributed systems subject to communication partitions and performance, omission, ...
ISSRE
2003
IEEE
14 years 23 days ago
2003
IEEE
Systematic design testing, in which executable models of behaviors are tested using inputs that exercise scenarios, can help reveal flaws in designs before they are implemented i...
INFOCOM
2002
IEEE
14 years 12 days ago
2002
IEEE
—This paper describes a mechanism allowing nodes to hand-off active connections by utilizing connection splicing at an edge-switch serving as a gateway to a server cluster. The m...