1785 search results - page 65 / 357 » Modeling Communication with Synchronized Environments |
IAT
2005
IEEE
15 years 3 months ago
2005
IEEE
The algorithm we present in this paper aims to optimally distribute and connect the community of loosely coupled middle agents ensuring communication accessibility in a dynamic, i...
ICDCS
1997
IEEE
15 years 2 months ago
1997
IEEE
The virtual synchrony model for group communication has proven to be a powerful paradigm for building distributed applications. In applications that use a large number of groups, ...
SPIN
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
CGF
2004
14 years 9 months ago
2004
This paper describes a behavioural model used to simulate realistic eye-gaze behaviour and body animations for avatars representing participants in a shared immersive virtual envi...
ENTCS
2010
14 years 7 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...