Sciweavers

Share
LOGCOM
2007
126views more  LOGCOM 2007»
9 years 9 months ago
A Structural Proof of the Soundness of Rely/guarantee Rules
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
Joey W. Coleman, Cliff B. Jones
ICSE
2004
IEEE-ACM
10 years 9 months ago
The Role of Agreements in IT Management Software
Various forms of agreements naturally arise in the service provider model as well as in multi-party computing models such as business-to-business, utility and grid computing. The r...
Aad P. A. van Moorsel, Carlos Molina-Jiméne...
books