1268 search results - page 66 / 254 » Verifying distributed systems: the operational approach |
144
click to vote
IPPS
2007
IEEE
16 years 13 days ago
2007
IEEE
In future high-performance systems it will be essential to balance often-conflicting objectives of performance, power, energy, and temperature under variable workload and environ...
210
click to vote
ICWS
2009
IEEE
15 years 3 months ago
2009
IEEE
Web service-based workflow management systems have garnered considerable attention for automating and scheduling dependent operations. Such systems often support user preferences,...
145
click to vote
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
—Distributed computing systems often strive to decouple their communicating components (threads on a single node, or nodes in a network) from each other with respect to time, spa...
147
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
The Self Distributing Virtual Machine (SDVM) is a parallel computing machine which consists of a cluster of customary computers. The participating machines may have different comp...
161
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In most of the existing approaches to the design of multiagent systems, there is no clear way in which to relate organisational and normative structures to the model of the enviro...