Sciweavers

1393 search results - page 171 / 279
» Group communication in the Amoeba distributed operating syst...
Sort
View
JFP
2010
142views more  JFP 2010»
13 years 7 months ago
Linear type theory for asynchronous session types
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
Simon J. Gay, Vasco Thudichum Vasconcelos
MOBICOM
2004
ACM
14 years 2 months ago
Power conservation and quality of surveillance in target tracking sensor networks
Target tracking is an important application of wireless sensor networks. In this application, the sensor nodes collectively monitor and track the movement of an event or target ob...
Chao Gui, Prasant Mohapatra
IAT
2008
IEEE
14 years 3 months ago
Characterizing the Outcomes of Argumentation-Based Integrative Negotiation
In the negotiation literature we find two relatively distinct types of negotiation. The two types are known as integrative negotiations and distributive negotiations. Integrative...
Yannis Dimopoulos, Pavlos Moraitis, Leila Amgoud
IMC
2009
ACM
14 years 3 months ago
Modeling user activities in a large IPTV system
Internet Protocol Television (IPTV) has emerged as a new delivery method for TV. In contrast with native broadcast in traditional cable and satellite TV system, video streams in I...
Tongqing Qiu, Zihui Ge, Seungjoon Lee, Jia Wang, J...
P2P
2006
IEEE
153views Communications» more  P2P 2006»
14 years 3 months ago
Internet-Scale Storage Systems under Churn -- A Study of the Steady-State using Markov Models
Content storage in a distributed collaborative environment uses redundancy for better resilience and thus provides good availability and durability. In a peer-to-peer environment,...
Anwitaman Datta, Karl Aberer