503 search results - page 42 / 101 » Live Debugging of Distributed Systems |
119
click to vote
INFOCOM
2009
IEEE
15 years 8 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...
108
click to vote
LISA
2007
15 years 4 months 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
15 years 10 days 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
15 years 6 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...
152
click to vote
CL
2007
Springer
15 years 2 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...