871 search results - page 106 / 175 » Modular Design of Reactive Systems |
ISCA
2007
IEEE
14 years 2 months ago
2007
IEEE
Concern for the increasing susceptibility of processor structures to transient errors has led to several recent research efforts that propose architectural techniques to enhance r...
CODES
2010
IEEE
13 years 6 months ago
2010
IEEE
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying prin...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
BDI agent languages provide a useful abstraction for complex systems comprised of interactive autonomous entities, but they have been used mostly in the context of single agents w...
AAAI
1997
13 years 9 months ago
1997
This paper describes preliminary results from using an AI robot control software architecture, known as 3T, as the software framework for a procedure tracking system for the space...