7918 search results - page 61 / 1584 » Model Composition Directives |
SOCO
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. In grid-based scientific applications, building a workflow essentially involves composing parameterized services describing families of services and then configuring the ...
VL
2003
IEEE
14 years 3 months ago
2003
IEEE
We present a tool for component system design in the UML. The tool supports an internal process model for graphical specifications. The model is used to guarantee consistency of ...
TASE
2008
IEEE
14 years 4 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
EDOC
2006
IEEE
14 years 4 months ago
2006
IEEE
Increasingly, distributed systems are being constructed by composing a number of discrete components. This practice, termed composition, is particularly prevalent within the Web s...
OTM
2005
Springer
14 years 3 months ago
2005
Springer
We propose a formal definition of a pervasive service model targeting the very dynamic environments typical of mobile application scenarios. The model is based on a requirement an...