2585 search results - page 492 / 517 » Automating Coherent Logic |
EUROSYS
2010
ACM
14 years 8 months ago
2010
ACM
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverā...
SACMAT
2009
ACM
14 years 5 months ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...
KR
2010
Springer
14 years 3 months ago
2010
Springer
Horn fragments of Description Logics (DLs) have gained popularity because they provide a beneļ¬cial trade-off between expressive power and computational complexity and, more spec...
STOC
1999
ACM
14 years 3 months ago
1999
ACM
The width of a Resolution proof is defined to be the maximal number of literals in any clause of the proof. In this paper, we relate proof width to proof length (Ļsize), in both g...
LICS
1994
IEEE
14 years 3 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...