1255 search results - page 57 / 251 » A Proof Environment for the Development of Group Communicati... |
IJIIDS
2008
13 years 8 months ago
2008
: Main aim of Intelligent Transport Systems (ITS) applied to roads is to increase their safety. To achieve this aim, many researchers are focused on developing robust and efficient...
CSCW
1996
ACM
14 years 1 months ago
1996
ACM
Much of the support for communication across distributed communities has focused on meetings and intentional contact. However, most interactions within co-located groups occur whe...
COORDINATION
2009
Springer
14 years 9 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
This report introduces a hybrid asynchronous, distributed audio/video group conferencing system. One of the chief benefits of Internet communication systems is that they allow com...
IAAI
2003
13 years 10 months ago
2003
This paper describes SWAT, a Secure Wireless Agent Testbed. Our goal is to create an integrated environment to study information assurance for mobile agent systems on ad hoc wirel...