1092 search results - page 58 / 219 » Automated Evaluation of Coordination Approaches |
184
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
173
click to vote
CASCON
2008
15 years 7 months ago
2008
Service Level Agreements (SLAs) define the level of service that a service provider must deliver. An SLA is a contract between service provider and consumer, and includes appropri...
181
click to vote
SIGOPS
2010
15 years 27 days ago
2010
Finding an efficient configuration for cluster-based multi-tier Internet services is often a difficult task. Moreover, even a good configuration could become obsolete, depending o...
205
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
In the square jigsaw puzzle problem one is required to reconstruct the complete image from a set of non-overlapping, unordered, square puzzle parts. Here we propose a fully automa...
177
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
—Enterprise networks today host a wide variety of network services, which often depend on each other to provide and support network-based services and applications. Understanding...