1268 search results - page 204 / 254 » Verifying distributed systems: the operational approach |
182
click to vote
SC
2000
ACM
15 years 10 months ago
2000
ACM
As evidenced by the popularity of MPI (Message Passing Interface), message passing is an effective programming technique for managing coarse-grained concurrency on distributed com...
154
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
A strength of commitment protocols is that they enable agents to act flexibly, thereby enabling them to accommodate varying local policies and respond to exceptions. A consequent ...
169
click to vote
IJON
2006
15 years 6 months ago
2006
Bayesian subspace analysis has been successfully applied in face recognition. However, it suffers from its operating on a whole face difference and using one global linear subspac...
187
click to vote
TON
1998
15 years 5 months ago
1998
— The configuration of virtual path (VP) connection services is expected to play an important role in the operation of large-scale asynchronous transfer mode (ATM) networks. A m...
145
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
Current search mechanisms of DHT-based P2P systems can well handle a single keyword search problem. Other than single keyword search, multi-keyword search is quite popular and use...