Sciweavers

4212 search results - page 745 / 843
» Rights Expression Languages
Sort
View
SAS
2004
Springer
109views Formal Methods» more  SAS 2004»
16 years 4 days ago
Pointer-Range Analysis
Array-Range Analysis computes at compile time the range of possible index values for each array-index expression in a program. This information can be used to detect potential out-...
Suan Hsi Yong, Susan Horwitz
SBIA
2004
Springer
16 years 4 days ago
A Comparison of Automatic Summarizers of Texts in Brazilian Portuguese
Automatic Summarization (AS) in Brazil has only recently become a significant research topic. When compared to other languages initiatives, such a delay can be explained by the lac...
Lucia Helena Machado Rino, Thiago Alexandre Salgue...
SEMWEB
2004
Springer
16 years 4 days ago
Working with Multiple Ontologies on the Semantic Web
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...
Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin
VLDB
2004
ACM
117views Database» more  VLDB 2004»
16 years 3 days ago
XQuery on SQL Hosts
Relational database systems may be turned into efficient XML and XPath processors if the system is provided with a suitable relational tree encoding. This paper extends this relat...
Torsten Grust, Sherif Sakr, Jens Teubner
CSFW
2003
IEEE
16 years 2 days ago
Using First-Order Logic to Reason about Policies
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...
Joseph Y. Halpern, Vicky Weissman