2558 search results - page 158 / 512 » Model Composition Contracts |
127
click to vote
ASWEC
2010
IEEE
15 years 4 months ago
2010
IEEE
— Service compositions provide a promising way to realize and coordinate automated support for business activities and processes. These business processes and their automated sup...
183
click to vote
ICWS
2009
IEEE
15 years 2 months ago
2009
IEEE
Web service-based workflow management systems have garnered considerable attention for automating and scheduling dependent operations. Such systems often support user preferences,...
141
click to vote
DATE
2007
IEEE
15 years 10 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...
126
click to vote
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we present an approach for oblivious composition of Web user interfaces, particularly for volatile functionality. Our approach, which is inspired on well-kn...
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...