80 search results - page 8 / 16 » Robust safety of timed automata |
125
click to vote
MICCAI
2002
Springer
16 years 2 months ago
2002
Springer
Abstract. High performance computing has become a key step to introduce computer tools, like real-time registration, in the medical field. To achieve real-time processing, one usua...
101
Voted
ESORICS
2005
Springer
15 years 7 months ago
2005
Springer
We consider the enforcement powers of program monitors, which intercept security-sensitive actions of a target application at run time and take remedial steps whenever the target a...
110
click to vote
RTAS
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
93
Voted
ACRI
2004
Springer
15 years 7 months ago
2004
Springer
The SLEUTH urban growth model [1] is a cellular automata model that has been widely applied throughout the geographic literature to examine the historic settlement patterns of citi...
128
Voted
ETFA
2008
IEEE
15 years 8 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...