2060 search results - page 15 / 412 » The Composition of Event-B Models |
150
click to vote
SIGMOD
2005
ACM
15 years 9 months ago
2005
ACM
Web services technologies enable flexible and dynamic interoperation of autonomous software and information systems. A central challenge is the development of modeling techniques ...
90
Voted
ICECCS
2009
IEEE
15 years 4 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
ISAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
SAINT
2003
IEEE
15 years 2 months ago
2003
IEEE
—The dynamic composition of existing services into new services is at the core of service-oriented computing. The objective of FRESCO (Foundational Research on Service Compositio...
APSEC
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...