36 search results - page 2 / 8 » Automated synthesis of composite services with correctness g... |
CAV
2006
Springer
13 years 9 months ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
ISORC
2009
IEEE
13 years 12 months ago
2009
IEEE
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
FEDCSIS
2011
12 years 5 months ago
2011
—Collaborative mechanisms between services are a crucial aspect in the recent development of pervasive computing systems based on the paradigm of service-oriented architecture. C...
ERCIM
2007
13 years 5 months ago
2007
t of view of the service itself. It is an abstracted version of the original service. An operating guideline of a service represents the possible communication behaviours of partne...
IEEESCC
2006
IEEE
13 years 11 months ago
2006
IEEE
Service composition aims to provide an efficient and accurate model of a service, based on which the global service oriented architecture (SOA) can be realized, allowing value add...