2060 search results - page 71 / 412 » The Composition of Event-B Models |
143
click to vote
ICWS
2009
IEEE
16 years 1 months ago
2009
IEEE
Algorithms for composing Web services (WS) traditionally utilize the functional and quality-of-service parameters of candidate services to decide which services to include in the ...
146
click to vote
ER
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper we discuss about composing services from standard suites of applications for personal data management in mobile devices. We propose a data model and an inte...
141
click to vote
ICSOC
2007
Springer
15 years 10 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
145
click to vote
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...
166
click to vote
APN
2007
Springer
15 years 10 months ago
2007
Springer
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...