610 search results - page 17 / 122 » Synchronous Programming of Reactive Systems |
VLSID
2003
IEEE
14 years 8 months ago
2003
IEEE
Control dominated embedded systems have to be designed for fast reaction to asynchronous external events occurring in the environment. Such systems must be able to perform signal ...
ICPP
2002
IEEE
14 years 16 days ago
2002
IEEE
The development of correct synchronization code for distributed programs is a challenging task. In this paper, we propose an aspect oriented technique for developing synchronizati...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
Reactivity on the Web is an emerging issue. The capability to automatically react to events (such as updates to Web resources) is essential for both Web services and Semantic Web ...
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous...
FMCO
2003
Springer
14 years 25 days ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...