2060 search results - page 33 / 412 » The Composition of Event-B Models |
115
Voted
ENTCS
2010
15 years 3 months ago
2010
Abstract. Web services composition is the interleaving of action sequences executed by elementary components in accordance with a client specification. We consider Web services as ...
140
click to vote
SOFSEM
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...
132
Voted
EUROMICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
—We have defined a software component model which specifies components and composition operators. These operators coordinate and encapsulate concurrency between components. In ...
127
Voted
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
We identify a new class of decidable hybrid automata: namely, parallel compositions of semi-algebraic o-minimal automata. The class we consider is fundamental to hierarchical model...
134
Voted
JMLR
2010
14 years 10 months ago
2010
Composite likelihood methods provide a wide spectrum of computationally efficient techniques for statistical tasks such as parameter estimation and model selection. In this paper,...