3224 search results - page 368 / 645 » On Checking Model Checkers |
202
click to vote
CSFW
2005
IEEE
16 years 8 days ago
2005
IEEE
Availability is a critical issue in modern distributed systems. While many techniques and protocols for preventing denial of service (DoS) attacks have been proposed and deployed ...
145
click to vote
FROCOS
2005
Springer
16 years 5 days ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
185
click to vote
ICLP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
156
click to vote
SPIN
2005
Springer
16 years 4 days ago
2005
Springer
We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them...
160
click to vote
AOSD
2010
ACM
15 years 12 months ago
2010
ACM
The integration of third-party aspects into applications creates security challenges. Due to the intrusive impact of aspects, one cannot guarantee that the dynamic composition of ...