2060 search results - page 178 / 412 » The Composition of Event-B Models |
238
click to vote
SIGECOM
2000
ACM
15 years 9 months ago
2000
ACM
We introduce an information bundling model that addresses two important but relatively unstudied issues in real markets for information goods: automated customization of content b...
125
click to vote
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We describe a dynamic data-driven methodology that is capable of simultaneously determining both the parameters of a constitutive model associated with the response of a ...
140
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...
149
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 ...
137
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...