Sciweavers

Share
399 search results - page 2 / 80
» From Data to Events: Checking Properties on the Control of a...
Sort
View
INTELLCOMM
2004
Springer
9 years 9 months ago
A Breadth-First Algorithm for Mining Frequent Patterns from Event Logs
Abstract. Today, event logs contain vast amounts of data that can easily overwhelm a human. Therefore, the mining of frequent patterns from event logs is an important system and ne...
Risto Vaarandi
TACAS
2004
Springer
108views Algorithms» more  TACAS 2004»
9 years 9 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
9 years 9 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
9 years 8 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»
9 years 3 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
books