2021 search results - page 38 / 405 » COCO: Composition Model and Composition Model Implementation |
FMCO
2005
Springer
15 years 7 months ago
2005
Springer
A software component model should define what components are, and how they can be composed. That is, it should define a theory of components and their composition. Current softwa...
121
click to vote
ICWE
2010
Springer
15 years 14 days ago
2010
Springer
The Web of Things is an emerging scenario in which objects are connected to Internet and can answer to HTTP queries. To date, new applications in this field are mainly produced by ...
WWW
2006
ACM
16 years 2 months ago
2006
ACM
In this paper we describe an approach for the verification of Web service compositions defined by sets of BPEL processes. The key aspect of such a verification is the model adopte...
120
click to vote
ICCAD
2003
IEEE
15 years 10 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
116
click to vote
ICWS
2007
IEEE
15 years 3 months ago
2007
IEEE
Service Oriented Architectures (SOAs) are constantly gaining ground for the provision of business to business as well as user-centric services, mainly in the form of Web Services ...