4190 search results - page 496 / 838 » Implementing commitment-based interactions |
146
Voted
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Service-Oriented Architecture (SOA) has become the preferred methodology to build complex enterprise applications. Inside an enterprise, an Enterprise Service Bus (ESB) has emerged...
146
click to vote
BPM
2006
Springer
15 years 7 months ago
2006
Springer
Current approaches for proving the correctness of business processes focus on either soundness, weak soundness, or relaxed soundness. Soundness states that each activity should be ...
151
Voted
EAGC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper describes SCALEA-G, a unified monitoring and performance analysis system for the Grid. SCALEA-G is implemented as a set of grid services based on the Open Grid...
116
click to vote
CIE
2006
Springer
15 years 7 months ago
2006
Springer
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...
123
click to vote
FDL
2004
IEEE
15 years 7 months ago
2004
IEEE
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the s...