871 search results - page 93 / 175 » Modular Design of Reactive Systems |
AGENTS
2000
Springer
14 years 9 days ago
2000
Springer
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...
ANSS
2002
IEEE
14 years 28 days ago
2002
IEEE
This paper describes the design and use of the Interconnection Network Simulator (ICNS) framework. ICNS is a modular, object-oriented simulation system that has been developed to ...
SAS
1999
Springer
14 years 6 days ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
AGENTS
1997
Springer
14 years 3 days ago
1997
Springer
Transportable agents are autonomous programs. They can move through a heterogeneous network of computers under their own control, migrating from host to host. They can sense the s...
DSN
2004
IEEE
13 years 11 months ago
2004
IEEE
Unanticipated runtime events, such as faults, can lead to missed deadlines in real-time systems. While it is not always possible to know when a fault will occur, we can sometimes ...