1255 search results - page 96 / 251 » A Proof Environment for the Development of Group Communicati... |
DSE
1998
13 years 8 months ago
1998
The Voltan software library for building distributed applications provides the support for (i) a processpair to act as single Voltan self-checking ‘fail-silent’ process; and (...
WACC
1999
ACM
14 years 1 months ago
1999
ACM
In recent years much attention has been paid to networkbased, distributed environments like text-based MUDs and MOOs for supporting collaborative work. Such environments offer a s...
ACTA
2005
13 years 8 months ago
2005
We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...
MTA
2008
2008
Virtual interpersonal touch: Haptic interaction and copresence in collaborative virtual environments
13 years 9 months ago
As digital communication becomes more commonplace and sensory rich, understanding the manner in which people interact with one another is crucial. In the current study, we examined...
AICT
2010
IEEE
13 years 18 days ago
2010
IEEE
— Several research groups are working on designing new security architectures for 4G networks such as Hokey and Y-Comm. Since designing an efficient security module requires a cl...