2139 search results - page 61 / 428 » Modeling Aspect-Oriented Compositions |
123
click to vote
PADL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Creating GUI programs is hard even for prototyping purposes. Using the model-view paradigm makes it somewhat simpler since the model-view paradigm dictates that the model...
136
click to vote
SOCO
2010
Springer
15 years 2 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 ...
134
click to vote
VL
2003
IEEE
15 years 10 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 ...
131
click to vote
TASE
2008
IEEE
15 years 11 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...
152
click to vote
EDOC
2006
IEEE
15 years 10 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...