2060 search results - page 72 / 412 » The Composition of Event-B Models |
118
click to vote
HT
1999
ACM
15 years 8 months ago
1999
ACM
Most hypermedia models and systems do not incorporate time explicitly. This prevents authors from having direct control over the temporal aspects of a presentation. In this paper ...
149
click to vote
SLE
2009
Springer
15 years 8 months ago
2009
Springer
Composition of requirements models in Software Product Line (SPL) development enables stakeholders to derive the requirements of target software products and, very important, to re...
135
click to vote
EDOC
2007
IEEE
15 years 10 months ago
2007
IEEE
The process of composing a service from other services typically involves multiple models. These models may represent the service from distinct perspectives, e.g., to model the di...
151
click to vote
IEEESCC
2006
IEEE
15 years 10 months ago
2006
IEEE
Service composition aims to provide an efficient and accurate model of a service, based on which the global service oriented architecture (SOA) can be realized, allowing value add...
130
click to vote
ECOOPW
1994
Springer
15 years 8 months ago
1994
Springer
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....