Sciweavers

4212 search results - page 443 / 843
» Rights Expression Languages
Sort
View
PEPM
2004
ACM
16 years 4 days ago
Proving termination of membership equational programs
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...
Francisco Durán, Salvador Lucas, José...
CSFW
2003
IEEE
16 years 2 days ago
Understanding SPKI/SDSI Using First-Order Logic
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
Ninghui Li, John C. Mitchell
FQAS
2009
Springer
196views Database» more  FQAS 2009»
15 years 11 months ago
Flexible SPARQL Querying of Web Data Tables Driven by an Ontology
This paper concerns the design of a workflow which permits to feed and query a data warehouse opened on the Web, driven by a domain ontology. This data warehouse has been built to...
Patrice Buche, Juliette Dibie-Barthélemy, H...
CAISE
2001
Springer
15 years 11 months ago
A Semantic Approach to Integrating XML and Structured Data Sources
XML is fast becoming the standard for information exchange on the Internet. As such, information expressed in XML will need to be integrated with existing information systems, whi...
Peter McBrien, Alexandra Poulovassilis
ICICS
2001
Springer
15 years 11 months ago
Enforcing Obligation with Security Monitors
With the ubiquitous deployment of large scale networks more and more complex human interactions are supported by computer applications. This poses new challenges on the expressive...
Carlos Ribeiro, Andre Zuquete, Paulo Ferreira