393 search results - page 19 / 79 » Dynamic Temporal Interpretation Contexts for Temporal Abstra... |
AML
2006
13 years 8 months ago
2006
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...
ASIAN
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We present a logic-based framework to evaluate the resilience of computer networks in the face of incidents, i.e., attacks from malicious intruders as well as random faul...
ACCV
2009
Springer
14 years 23 days ago
2009
Springer
Abstract. We propose a new principle for recognizing fingerspelling sequences from American Sign Language (ASL). Instead of training a system to recognize the static posture for ea...
HAIS
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Accurate and swift responses are crucial to Intrusion Detection Systems (IDSs), especially if automatic abortion mechanisms are running. In keeping with this idea, this w...
SIGADA
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...