382 search results - page 16 / 77 » Checking Interval Based Properties for Reactive Systems |
TPHOL
1998
IEEE
14 years 26 days ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
IWIA
2006
IEEE
14 years 2 months ago
2006
IEEE
The commonly used flaw hypothesis model (FHM) for performing penetration tests provides only limited, highlevel guidance for the derivation of actual penetration attempts. In thi...
TIME
2005
IEEE
14 years 2 months ago
2005
IEEE
We investigate properties of a spatio-temporal logic based on an n-dimensional Duration Calculus tailored for the specification and verification of mobile real-time systems. Aft...
AROBOTS
2010
13 years 8 months ago
2010
Locusts possess a bilateral pair of uniquely identifiable visual neurons that respond vigorously to the image of an approaching object. These neurons are called the lobula giant m...
WISE
2006
Springer
14 years 2 months ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...