8828 search results - page 1388 / 1766 » Formal methods in practice |
185
click to vote
AAAI
2006
15 years 8 months ago
2006
Composing existing Web services to deliver new functionality is a difficult problem as it involves resolving semantic, syntactic and structural differences among the interfaces of...
204
click to vote
AAAI
2006
15 years 8 months ago
2006
We present a new efficient algorithm for obtaining utilitarian optimal solutions to Disjunctive Temporal Problems with Preferences (DTPPs). The previous state-of-the-art system ac...
173
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
An incremental development framework which supports a conform construction of Protocol State Machines (PSMs) is presented. We capture design concepts and strategies of PSM constru...
186
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
204
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...