2060 search results - page 278 / 412 » The Composition of Event-B Models |
171
click to vote
ISORC
2008
IEEE
16 years 27 days ago
2008
IEEE
In this paper we describe our approach for developing a QoS-aware, dependable execution environment for large-scale distributed stream processing applications. Distributed stream ...
151
click to vote
IEEESCC
2007
IEEE
16 years 24 days ago
2007
IEEE
Merging orchestrations is a crucial issue in the development process of service-based applications. However, merging orchestrations with overlaps is a manual and tedious process t...
149
click to vote
IPPS
2007
IEEE
16 years 24 days ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
203
click to vote
AGTIVE
2007
Springer
16 years 20 days ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
191
click to vote
RTCSA
2006
IEEE
16 years 15 days ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...