10038 search results - page 1760 / 2008 » Model Checking for Managers |
146
click to vote
CLUSTER
2009
IEEE
15 years 12 months ago
2009
IEEE
—Multicluster grids provide one promising solution to satisfying growing computation demands of compute-intensive applications by collaborating various networked clusters. Howeve...
149
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
—A key agreement protocol is a protocol whereby two or more communicating parties can agree on a key or exchange information over an open communication network in such a way that...
138
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—As software projects continue to grow in scale, being able to maximize the work that developers can carry out in parallel as a set of concurrent development tasks, without incur...
167
click to vote
APN
2009
Springer
15 years 11 months ago
2009
Springer
Web Service orchestrations are compositions of different Web Services to form a new service. The services called during the orchestration guarantee a given Quality of Service (QoS...
126
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Self-organising multi-agent systems provide a suitable paradigm for developing autonomic computing systems that manage themselves. Towards this goal, we demonstrate a robust, dece...