2639 search results - page 86 / 528 » Biological Systems as Reactive Systems |
137
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Embedded software design for real time reactive system
123
click to vote
ISOLA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
122
click to vote
ATVA
2010
Springer
15 years 1 months ago
2010
Springer
The problem of synthesising a reactive system is discussed. The most standard instance of this problem ask to construct a finite input-output automaton satisfying a given regular s...
159
click to vote
RAM
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—Nonverbal behavior during human-human close encounters is critical to the accomplishment of natural interaction. For this reason, humanoid robots trying to achieve natur...
131
click to vote
OTM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The Web of today can be seen as an active and heterogeneous infrastructure of autonomous systems, where reactivity, evolution and propagation of information and changes p...