279 search results - page 41 / 56 » Computing Intersections of Horn Theories for Reasoning with ... |
DAC
2003
ACM
14 years 8 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
ECIS
2000
13 years 9 months ago
2000
Different models of Decision Support Systems (DSS) are used in medicine to help physicians in disease diagnosis, prognosis evaluation and therapy prescription. The DSS models rely ...
LICS
2008
IEEE
14 years 2 months ago
2008
IEEE
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...
CCS
2010
ACM
14 years 2 months ago
2010
ACM
Many authorization system models include some notion of obligation. Little attention has been given to user obligations that depend on and affect authorizations. However, to be u...
LICS
2003
IEEE
14 years 1 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...