5562 search results - page 556 / 1113 » Implementing Parallel Cell-DEVS |
192
click to vote
CONCUR
2006
Springer
15 years 11 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
218
click to vote
COORDINATION
2006
Springer
15 years 11 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
176
click to vote
CW
2006
IEEE
15 years 11 months ago
2006
IEEE
In addition to established methods, the treatment of mental disorders using Virtual Reality Exposure Therapy is becoming commonplace. We present an approach, which extends this co...
184
click to vote
DCOSS
2006
Springer
15 years 11 months ago
2006
Springer
This paper presents a study of the Flexible Power Scheduling protocol and evaluates its use for real-world sensor network applications and their platforms. FPS uses dynamically cre...
199
click to vote
ESCIENCE
2006
IEEE
15 years 11 months ago
2006
IEEE
ct In this paper we present an extension to devise and implement advance reservation as part of the scheduling and resource management services of the ASKALON Grid application deve...