Sciweavers

Share
372 search results - page 2 / 75
» From Data to Events: Checking Properties on the Control of a...
Sort
View
TACAS
2004
Springer
108views Algorithms» more  TACAS 2004»
10 years 11 months ago
Model Checking Discounted Temporal Properties
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...
Luca de Alfaro, Marco Faella, Thomas A. Henzinger,...
ICTCS
2005
Springer
10 years 12 months ago
Checking Risky Events Is Enough for Local Policies
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...
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi F...
ICSE
1999
IEEE-ACM
10 years 10 months ago
A Practical Method for Verifying Event-Driven Software
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 ...
Gerard J. Holzmann, Margaret H. Smith
GEOINFORMATICA
2006
102views more  GEOINFORMATICA 2006»
10 years 6 months ago
Mining Co-Location Patterns with Rare Events from Spatial Data Sets
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...
Yan Huang, Jian Pei, Hui Xiong
CDC
2009
IEEE
151views Control Systems» more  CDC 2009»
10 years 11 months ago
An algorithm for event-based optimal feedback control
— 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...
Lars Grüne, Florian Mueller
books