2291 search results - page 151 / 459 » Logic Programming and Model Checking |
117
Voted
CJ
2004
15 years 2 months ago
2004
act interpretation. R. Barbuti, C. Bernardeschi and N. De Francesco With mobile technology more and more prominent, the problem of security leakages becomes more and more important...
96
Voted
EACL
1989
ACL Anthology
15 years 3 months ago
1989
ACL Anthology
In this paper, we present a logic-based computational model for movement theory in Government and Binding Theory. For that purpose, we have designed a language called DISLOG. DISL...
142
click to vote
FORMATS
2004
Springer
15 years 8 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
108
Voted
ACSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
183
Voted
APWEB
2011
Springer
14 years 9 months ago
2011
Springer
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description lo...