4184 search results - page 8 / 837 » Names of Our Lives |
WDAG
2007
Springer
14 years 1 months ago
2007
Springer
In contrast to peer-to-peer file sharing, live streaming based on peer-to-peer technology is still awaiting its breakthrough. This may be due to the additional challenges live str...
IC3
2009
13 years 5 months ago
2009
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
AAAI
2006
13 years 8 months ago
2006
A long-standing goal of AI is the development of intelligent workstation-based personal agents to assist users in their daily lives. A key impediment to this goal is the unrealist...
EDBT
2009
ACM
14 years 1 days ago
2009
ACM
Text corpora are often enhanced by additional metadata which relate real-world entities, with each document in which such entities are discussed. Such relationships are typically ...
ICDCS
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract: Current peer-to-peer systems are network-agnostic, often generating large volumes of unnecessary inter-ISP traffic. Although recent work has shown the benefits of ISP-a...