12981 search results - page 447 / 2597 » Model Checking (Abstract) |
143
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we build an interpreter by reusing host language functions instead of recoding mechanisms of function application that are already available in the host language (t...
134
click to vote
ENTCS
2008
15 years 4 months ago
2008
We introduce a Control Flow Analysis, that statically approximates the dynamic behaviour of processes, expressed in the Beta-Binders calculus. Our analysis of a system is able to ...
138
click to vote
JCS
2006
15 years 4 months ago
2006
Abstract-- SPKI/SDSI is a standard for issuing authorization and name certificates. SPKI/SDSI can be used to implement a Trust Management System, where the policy for resource acce...
141
click to vote
CCR
2004
15 years 4 months ago
2004
Abstract-- This paper describes a system for automated generation of attack signatures for network intrusion detection systems. Our system applies pattern-matching techniques and p...
152
click to vote
DLOG
2009
15 years 2 months ago
2009
Abstract. Inconsistency handling in expressive description logics is an important problem because inconsistency may naturally occur in an open world. In this paper, we present the ...