2123 search results - page 115 / 425 » Composition of Cyber-Physical Systems |
216
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
This paper introduces a novel method for composing Web services in the presence of external volatile information. Our approach, which we call the informed-presumptive, is compared...
135
click to vote
WECWIS
2009
IEEE
15 years 11 months ago
2009
IEEE
—The goal of the Web Service Composition (WSC) problem is to find an optimal composition of web services to satisfy a given request using their syntactic and/or semantic feature...
141
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
136
click to vote
WECWIS
2007
IEEE
15 years 10 months ago
2007
IEEE
With the growing number and ubiquitous usage of Web services throughout the service-oriented community, the need to find service descriptions in a given repository, as well as co...
143
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...