674 search results - page 3 / 135 » Resource Bound Certification |
IANDC
2006
14 years 9 months ago
2006
This paper studies the complexity of learning classes of expressions in propositional logic from equivalence queries and membership queries. In particular, we focus on bounding th...
WETICE
1998
IEEE
15 years 1 months ago
1998
IEEE
We describe a system whose purpose is to explore the use of certificates for the distributed management of access rights for resources that have multiple, independent, and geograp...
EMSOFT
2010
Springer
14 years 7 months ago
2010
Springer
Many safety-critical embedded systems are subject to certification requirements. However, only a subset of the functionality of the system may be safety-critical and hence subject...
SAT
2009
Springer
15 years 4 months ago
2009
Springer
COMPSAC
2001
IEEE
15 years 1 months ago
2001
IEEE
Using certificates for distributed authorizations in computer network systems has been discussed in the literature. However real implementations of the concept are rarely seen. In...