Sciweavers

2873 search results - page 423 / 575
» Model Checking and the Mu-calculus
Sort
View
ASIAN
2007
Springer
157views Algorithms» more  ASIAN 2007»
14 years 2 months ago
A Logical Framework for Evaluating Network Resilience Against Faults and Attacks
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...
Elie Bursztein, Jean Goubault-Larrecq
ATAL
2007
Springer
14 years 2 months ago
On the Multimodal Logic of Normative Systems
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
Pilar Dellunde
CAV
2007
Springer
118views Hardware» more  CAV 2007»
14 years 2 months ago
Local Proofs for Global Safety Properties
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
Ariel Cohen 0002, Kedar S. Namjoshi
CCIA
2007
Springer
14 years 2 months ago
An Evaluation of an Object Recognition Schema Using Multiple Region Detectors
Abstract. Robust object recognition is one of the most challenging topics in computer vision. In the last years promising results have been obtained using local regions and descrip...
Meritxell Vinyals, Arnau Ramisa, Ricardo Toledo
ICALP
2007
Springer
14 years 2 months ago
Co-Logic Programming: Extending Logic Programming with Coinduction
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta