1833 search results - page 331 / 367 » Mechanized Verification with Sharing |
MMS
2000
13 years 10 months ago
2000
An admission control algorithm for a multimedia server is responsible for determining if a new request can be accepted without violating the Quality of Service (QoS) requirements o...
CACM
1999
13 years 10 months ago
1999
stractions underlying distributed computing. We attempted to keep our preaims at an abstract and general level. In this column, we make those claims more concrete. More precisely, ...
JFP
2010
13 years 9 months ago
2010
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
GLOBECOM
2010
IEEE
13 years 9 months ago
2010
IEEE
Peer-to-Peer streaming systems (or P2P-TV) have been studied in the literature for some time, and they are becoming popular among users as well. P2P-TV systems target the real time...
GROUP
2010
ACM
13 years 9 months ago
2010
ACM
Coordination is central in CSCW systems design, where it is often considered as a process of bringing artifacts and activities together and making them part of a larger system. In...