2223 search results - page 176 / 445 » Events in Property Patterns |
144
click to vote
SASN
2003
ACM
15 years 8 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
115
click to vote
AVSS
2006
IEEE
15 years 9 months ago
2006
IEEE
Most surveillance and monitoring systems nowadays utilize multiple types of sensors. However, due to the asynchrony among and diversity of sensors, information assimilation how to...
119
Voted
WSC
2001
15 years 4 months ago
2001
This paper investigates the dimensionality characteristics of the outcome space of a combat simulation. The independent state variables of all of the outcome states for a simulati...
108
Voted
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...
132
Voted
ISIPTA
2005
IEEE
15 years 9 months ago
2005
IEEE
This papers investigates the computation of lower/upper expectations that must cohere with a collection of probabilistic assessments and a collection of judgements of epistemic in...