7918 search results - page 61 / 1584 » Model Composition Directives |
102
click to vote
SOCO
2010
Springer
14 years 10 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 ...
99
Voted
VL
2003
IEEE
15 years 5 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
15 years 7 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...
118
Voted
EDOC
2006
IEEE
15 years 6 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...
80
Voted
OTM
2005
Springer
15 years 6 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...