4693 search results - page 635 / 939 » Verifying Hybrid Systems |
167
click to vote
ADAEUROPE
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
139
click to vote
FM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
163
click to vote
GECCO
2005
Springer
16 years 8 days ago
2005
Springer
Researchers of HIV-1 are today, still unable to determine exactly the biological mechanisms that cause AIDS. Various mechanisms have been hypothesized and their existences have be...
191
click to vote
IPSN
2005
Springer
16 years 8 days ago
2005
Springer
— We address the problem of secure location determination, known as Secure Localization, and the problem of verifying the location claim of a node, known as Location Verificatio...
176
click to vote
SAS
2005
Springer
16 years 7 days ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...