2060 search results - page 90 / 412 » The Composition of Event-B Models |
149
click to vote
AICT
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
123
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
Relying on optimally distinguishable distributions (ODD), it was defined very recently a new framework for the composite hypothesis testing. We resort to the linear model to inve...
109
click to vote
WSC
1998
15 years 5 months ago
1998
This paper presents SimBuilder, a simulation system incorporating environmental and quality concerns into a traditional manufacturing simulation environment. These simulations can...
149
click to vote
MICAI
2010
Springer
15 years 2 months ago
2010
Springer
Music is a form of expression. Since machines have limited capabilities in this sense, our main goal is to model musical composition process, to allow machines to express themselve...
125
click to vote
ICMT
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Model transformations play a key role in the vision of Modelngineering. Nevertheless, mechanisms like abstraction, variation and composition for specifying and applying r...