2468 search results - page 382 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
195
click to vote
QOSA
2010
Springer
15 years 9 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
172
click to vote
ESCIENCE
2006
IEEE
16 years 11 days ago
2006
IEEE
Scientific workflows are a powerful programming technique for specifying complex computations using a number of otherwise independent components. When used in a Grid environment, ...
173
click to vote
ICDCS
1995
IEEE
15 years 9 months ago
1995
IEEE
One of the mostsoughtaftersoftware innovation of thisdecade is the construction of systems using off-the-shelf workstations that actually deliver, and even surpass, the power and ...
187
click to vote
ICS
2010
Tsinghua U.
15 years 10 months ago
2010
Tsinghua U.
: Perhaps the two most significant theoretical questions about the programming of self-assembling agents are: (1) necessary and sufficient conditions to produce a unique terminal a...
156
click to vote
SPAA
2003
ACM
15 years 11 months ago
2003
ACM
We consider the practical problem of task assignment in a server farm, where each arriving job is immediately dispatched to a server in the farm. We look at the benefit of cycle ...