1202 search results - page 14 / 241 » Sortings for Reactive Systems |
ESORICS
2005
Springer
15 years 4 months ago
2005
Springer
Information flow and non-interference are well-established techniques for expressing both integrity and privacy properties. Because of the enormous potential to transmit informati...
105
click to vote
ETFA
2008
IEEE
15 years 5 months ago
2008
IEEE
The reactivity of Networked Automation Systems (NAS) has direct influence on safety and quality aspects. It can be determined by a response time analysis, which itself can be calc...
IROS
2008
IEEE
15 years 5 months ago
2008
IEEE
— When robot maintenance impedes the operation of other robots in a seaport container terminal, the operational efficiency is reduced. Therefore, robot reliability is necessary....
104
click to vote
ECRTS
2006
IEEE
15 years 5 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 ...
MAM
2006
14 years 11 months ago
2006
Embedded systems are typically heterogeneous requiring interacting hardware and software components, are locally synchronous while being globally asynchronous and combine both con...