1833 search results - page 54 / 367 » Mechanized Verification with Sharing |
MM
2005
ACM
14 years 4 months ago
2005
ACM
Since entities participating in P2P networks are usually autonomous and therefore free to decide on their level of participation, mechanisms to resolve conflicts between individu...
IPPS
2000
IEEE
14 years 3 months ago
2000
IEEE
Only a handful of fundamental mechanisms for synchronizing the access of concurrent threads to shared memory are widely implemented and used. These include locks, condition variab...
ATAL
2006
Springer
14 years 2 months ago
2006
Springer
Conventional information fusion architectures are challenged by developments in sensor networks that allow individually-owned (and thereby selfish) sensors to interact and share d...
NGC
2002
Springer
13 years 10 months ago
2002
Springer
Abundant content, data type and diverse members' interests naturally lead to preference heterogeneity within a multicast session requiring frequent communication within subgr...
DSN
2008
IEEE
14 years 5 months ago
2008
IEEE
It is critical to guarantee the reliability of serviceoriented applications. This is because they may employ remote Web Services as components, which may easily become unavailable...