2558 search results - page 236 / 512 » Model Composition Contracts |
143
click to vote
BTW
2005
Springer
15 years 10 months ago
2005
Springer
: The Web Services architecture defines various specifications that applications may wish to use in combination. In this paper, we investigate the composition of the Web services s...
152
click to vote
ECOOP
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we present a Model for Dynamic Hyperslices which uses a particular Aspect-Oriented (AO) approach – Hyperspaces – for decomposition and reflection as a means for ...
139
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction...
118
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Embedded systems are complex as a whole but consist of smaller independent modules minimally interacting with each other. This structure makes embedded systems amenable to composi...
125
Voted
PADS
2005
ACM
15 years 10 months ago
2005
ACM
A fundamental requirement for any network simulation environment is the realistic forwarding of packets from a source to a destination in the simulated topology. The routing decis...