2060 search results - page 109 / 412 » The Composition of Event-B Models |
173
click to vote
TSC
2010
14 years 11 months ago
2010
Data-Providing (DP) services allow query-like access to organizations' data via web services. The invocation of a DP service results in the execution of a query over data sour...
128
click to vote
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a process calculus where synchronous composition is the central algebraic notion; equivalences between processes via bisimilarity or trace can be studied quite simply i...
130
click to vote
DEDS
1998
15 years 3 months ago
1998
In this paper, we study the control of Composite Hybrid Machines (CHMs) subject to safety speci cations. CHMs are a fairly general class of hybrid systems modeled in modular fashi...
124
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Conventional cache models are not suited for real-time parallel processing because tasks may flush each other’s data out of the cache in an unpredictable manner. In this way th...
137
click to vote
ER
2004
Springer
15 years 9 months ago
2004
Springer
The emerging paradigm of web services promises to bring to distributed computing the same flexibility that the web has brought to the publication and search of information contain...