2123 search results - page 115 / 425 » Composition of Cyber-Physical Systems |
260
click to vote
WWW
2008
ACM
16 years 7 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...
181
click to vote
WECWIS
2009
IEEE
16 years 1 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...
179
click to vote
DATE
2007
IEEE
16 years 1 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...
192
click to vote
WECWIS
2007
IEEE
16 years 1 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...
199
click to vote
CSFW
2006
IEEE
16 years 28 days 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...