554 search results - page 30 / 111 » Modeling and Reasoning about Service Behaviors and Their Com... |
126
click to vote
SOSP
2005
ACM
15 years 10 months ago
2005
ACM
This paper describes a general approach to constructing cooperative services that span multiple administrative domains. In such environments, protocols must tolerate both Byzantin...
153
click to vote
HASKELL
2009
ACM
15 years 8 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
107
click to vote
FASE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Web Services offer a widespread standard for making services available on the Internet. Of particular interest is the possibility of composing existing distributed servi...
112
click to vote
ECOOPW
1994
Springer
15 years 6 months ago
1994
Springer
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....
110
click to vote
FMCAD
2006
Springer
15 years 5 months ago
2006
Springer
Recent years have seen a proliferation of 3-valued or capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about suc...