13717 search results - page 234 / 2744 » Control Systems |
147
click to vote
ECRTS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we study temperature-constrained realtime systems, where real-time guarantees must be met without exceeding safe temperature levels within the processor. We give a ...
142
Voted
CIKM
1994
Springer
15 years 8 months ago
1994
Springer
may be saved for later reuse of material, but also to preserve the historical perspective of work done [ha:92]. In particular, in distributed and collaborative hypertext systems, v...
112
Voted
APSEC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
130
Voted
JUCS
2007
15 years 3 months ago
2007
: Spiking neural P systems are computing models inspired from the way the neurons communicate by means of spikes, electrical impulses of identical shapes. In this note we consider ...
133
Voted
AROBOTS
2004
15 years 3 months ago
2004
NASA mission concepts for the upcoming decades of this century include exploration of sites such as steep cliff faces on Mars, as well as infrastructure deployment for a sustained ...