2021 search results - page 83 / 405 » COCO: Composition Model and Composition Model Implementation |
161
click to vote
SOCO
2010
Springer
15 years 5 months ago
2010
Springer
Witnesses and victims of serious crime are often required to construct a facial composite, a visual likeness of a suspect’s face. The traditional method is for them to select in...
179
click to vote
ECOWS
2007
Springer
16 years 27 days ago
2007
Springer
Service engineering and service-oriented architecture as an integration and platform technology is a recent approach to software systems integration. Software quality aspects such ...
203
click to vote
MKWI
2008
15 years 8 months ago
2008
Abstract: In order to fulfil sets of similar user requirements within a specific application domain, one typically uses software product line engineering. In this paper, we investi...
211
click to vote
FORTE
2009
15 years 4 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
175
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction...