1160 search results - page 103 / 232 » Applying Constraint Solving to the Management of Distributed... |
161
Voted
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
158
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Referral networks are a kind of P2P system consisting of autonomous agents who seek, provide services, or refer other service providers. Key applications include service discovery...
118
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We describe, analyze and submit results of a real-time total order multicast protocol developed on a distributed real-time system architecture that consists of hierarchic...
154
click to vote
SC
2000
ACM
15 years 8 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...
115
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Kinds of load balancing middleware have already been applied successfully in distributed computing. However, they don’t take the services types into consideration and for differe...