2021 search results - page 42 / 405 » COCO: Composition Model and Composition Model Implementation |
TVLSI
2008
15 years 1 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
136
click to vote
MFCS
1995
Springer
15 years 5 months ago
1995
Springer
act Account of Composition Mart n Abadi1 and Stephan Merz2 1 Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, U.S.A. 2 Institut fur I...
122
click to vote
ICIW
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approa...
107
click to vote
TES
2005
Springer
15 years 7 months ago
2005
Springer
The development of composite Web services is still not as simple as the original vision indicated. Currently, the designer of a composite service needs to consider many different ...
126
click to vote
EDOC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—A simple and effective composition of software services into higher-level composite services is still a very challenging task. Especially in enterprise environments, Qua...