291 search results - page 26 / 59 » Liveness-Preserving Atomicity Abstraction |
EATIS
2007
ACM
15 years 3 months ago
2007
ACM
The web service approach provides mechanisms for simplifying application integration. However, to meaningfully facilitate scalable development and maintenance of web service appli...
SIROCCO
2004
15 years 1 months ago
2004
Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with ef...
109
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
131
click to vote
CORR
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
SAMT
2007
Springer
15 years 6 months ago
2007
Springer
Abstract—This paper presents an annotation tool for the manual and region-based annotation of still images. The selection of regions is achieved by navigating through a Partition...