2060 search results - page 22 / 412 » The Composition of Event-B Models |
OTM
2007
Springer
15 years 3 months ago
2007
Springer
Frameworks that support the implementation and execution of service compositions are a fundamental component of middleware infrastructures that support the design of adaptive syste...
BPM
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Developing service based complex applications (service composition) has become an important area of research in SOA. In spite of this, there has been little effort to und...
UML
2004
Springer
15 years 2 months ago
2004
Springer
An aspect-oriented design model consists of a set of aspect models and a primary model. Each of these models consists of a number of different kinds of UML diagrams. The models mus...
HCI
2007
14 years 11 months ago
2007
Abstract. As users become more and more demanding about the software environments they use, they need environments offering them the possibility to integrate new tools in response ...
MOZ
2004
Springer
15 years 2 months ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...