503 search results - page 42 / 101 » Live Debugging of Distributed Systems |
INFOCOM
2009
IEEE
14 years 4 months ago
2009
IEEE
—A P2PTV system allows users to watch live video streams redistributed by other users via a peer-to-peer (P2P) network. In an ideal world, each peer in a P2P network would be abl...
LISA
2007
14 years 7 days ago
2007
Support for distributed application management in large-scale networked environments remains in its early stages. Although a number of solutions exist for subtasks of application ...
SSS
2010
Springer
13 years 8 months ago
2010
Springer
The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on a...
MM
1996
ACM
14 years 2 months ago
1996
ACM
Current video-conferencing systems provide a "video-ina-window" user interface. This paper presents a distributed video-conferencing system called CU-SeeMe VR that embed...
CL
2007
Springer
13 years 10 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...