Sciweavers

4212 search results - page 745 / 843
» Rights Expression Languages
Sort
View
SAS
2004
Springer
109views Formal Methods» more  SAS 2004»
15 years 11 months 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
15 years 11 months 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
15 years 11 months 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
170
Voted
VLDB
2004
ACM
117views Database» more  VLDB 2004»
15 years 11 months 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
15 years 11 months 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