6834 search results - page 77 / 1367 » Informal communication in collaboratories |
PERCOM
2005
ACM
15 years 11 months ago
2005
ACM
This paper describes our ongoing work on a system that provides information about network resources and related communication facilities to applications running on a mobile device...
MFCS
2004
Springer
15 years 5 months ago
2004
Springer
We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus with a flexible communication policy. Traditionally, typed ambient calculi have a fixed commu...
FTDCS
1997
IEEE
15 years 4 months ago
1997
IEEE
Personal Communication Support enhances control over reachability in telecommunication. Conversion and screening technologies of communication media, combined with QoS evaluation,...
HUC
2004
Springer
15 years 5 months ago
2004
Springer
WatchMe is a personal communicator with context awareness in a wristwatch form; it is meant to keep intimate friends and family always connected via awareness cues and text, voice ...
SECURWARE
2007
IEEE
15 years 6 months ago
2007
IEEE
The paper discusses an experience in using a realtime UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirement...