1171 search results - page 220 / 235 » A Logical Language for Expressing Authorizations |
ML
2007
ACM
14 years 11 months ago
2007
ACM
We develop new algorithms for learning monadic node selection queries in unranked trees from annotated examples, and apply them to visually interactive Web information extraction. ...
113
click to vote
FOMI
2009
14 years 9 months ago
2009
Abstract. The paper presents the preliminary version of Ontobella - a domain ontology of beliefs. The philosophical assumptions of this system are taken from the philosophy of Roma...
126
click to vote
AOSD
2011
ACM
14 years 3 months ago
2011
ACM
Object-oriented frameworks support design and code reuse for specific application domains. To facilitate the development of evolutionary computation (EC) programs, such as geneti...
198
click to vote
POPL
2003
ACM
16 years 2 hour ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
SIGADA
2004
Springer
15 years 5 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...