3470 search results - page 516 / 694 » Head-Elementary-Set-Free Logic Programs |
220
click to vote
IHI
2012
14 years 2 days ago
2012
Regulations and policies regarding Electronic Health Information (EHI) are increasingly complex. Federal and State policy makers have called for both education to increase stakeho...
171
click to vote
ISSTA
2012
ACM
13 years 7 months ago
2012
ACM
Swarm testing is a novel and inexpensive way to improve the diversity of test cases generated during random testing. Increased diversity leads to improved coverage and fault detec...
168
click to vote
FLOPS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
116
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...
154
click to vote
LPNMR
2007
Springer
15 years 10 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...