2468 search results - page 250 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
138
click to vote
ICDCS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a design and analysis of scheduling techniques to cope with the inherent unreliability and instability of worker nodes in large-scale donation-based distribute...
131
click to vote
ETFA
2005
IEEE
15 years 10 months ago
2005
IEEE
Global competition has given rise to Logistic and Production Systems (LPSs), that are distributed manufacturing systems integrating international logistics and information technol...
262
click to vote
TASE
2012
IEEE
13 years 12 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
125
click to vote
FC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Suppose Alice and Bob are two entities (e.g. agents, organizations, etc.) that wish to negotiate a contract. A contract consists of several clauses, and each party has ce...
155
click to vote
PDP
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a high-level approach for assessing the performance behavior of complex scientific applications running on a high-performance system through simulation. The pr...