367 search results - page 57 / 74 » A Rewriting Logic Sampler |
212
click to vote
POPL
2007
ACM
16 years 22 days ago
2007
ACM
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...
99
Voted
CADE
2004
Springer
16 years 22 days ago
2004
Springer
Deduction modulo is a theoretical framework for reasoning modulo a congruence on propositions. Computational steps are thus removed from proofs, thus allowing a clean separatation...
86
Voted
OSDI
2006
ACM
16 years 22 days ago
2006
ACM
Vulnerability-driven filtering of network data can offer a fast and easy-to-deploy alternative or intermediary to software patching, as exemplified in Shield [43]. In this paper, ...
191
Voted
VLDB
2001
ACM
16 years 20 days ago
2001
ACM
The problem of answering queries using views is to find efficient methods of answering a query using a set of previously materialized views over the database, rather than accessin...
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...