2639 search results - page 81 / 528 » Biological Systems as Reactive Systems |
101
click to vote
ACSD
2004
IEEE
15 years 8 months ago
2004
IEEE
We explore a structuring mechanism for reactive systems, based on two ideas: array iterators allow the description of regular systems; logical-time contracts allow local or global...
141
click to vote
SOFSEM
2007
Springer
15 years 10 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
168
click to vote
VEE
2005
ACM
15 years 9 months ago
2005
ACM
We present a new software system architecture for the implementation of hard real-time applications. The core of the system is a microkernel whose reactivity (interrupt handling a...
134
click to vote
ICRA
1993
IEEE
15 years 8 months ago
1993
IEEE
An issue central to the navigation problem is memory. Traditional systems build symbolic maps of the world for navigational reference. Reactive methods, in contrast, eliminate or m...
136
click to vote
CONEXT
2007
ACM
15 years 8 months ago
2007
ACM
Distributed storage systems provide data availability by means of redundancy. To assure a given level of availability in case of node failures, new redundant fragments need to be ...