4693 search results - page 57 / 939 » Verifying Hybrid Systems |
115
click to vote
SP
2003
IEEE
15 years 5 months ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
108
Voted
HYBRID
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper, we study the problem of controlling the expected exit time from a region for a class of stochastic hybrid systems. That is, we find the least costly feedb...
101
click to vote
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
109
Voted
RAID
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...
IJCAI
1989
15 years 1 months ago
1989
In this paper, we investigate technical methods to deal with exceptions, inconsistencies, and ambiguity. Existing reason maintenance systems are only suitable for some of these pr...