372 search results - page 2 / 75 » From Data to Events: Checking Properties on the Control of a... |
TACAS
2004
Springer
13 years 10 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
ICTCS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
ICSE
1999
IEEE-ACM
13 years 8 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
GEOINFORMATICA
2006
13 years 4 months ago
2006
Abstract A co-location pattern is a group of spatial features/events that are frequently co-located in the same region. For example, human cases of West Nile Virus often occur in r...
CDC
2009
IEEE
13 years 9 months ago
2009
IEEE
— We present an algorithm for an event based approach to the global optimal control of nonlinear systems with coarsely quantized state measurement. The quantized measurements ind...