4212 search results - page 419 / 843 » Rights Expression Languages |
156
click to vote
KI
2007
Springer
16 years 29 days ago
2007
Springer
The W3C standard OWL provides a decidable language for representing ontologies. While its use is rapidly spreading, efforts are being made by researchers worldwide to augment OWL ...
146
click to vote
POLICY
2007
Springer
16 years 28 days ago
2007
Springer
Typical IT Environments of medium to large size organizations consist of tens of networks that connect hundreds of servers to support the running of a large variety of business-re...
188
click to vote
SEMWEB
2007
Springer
16 years 28 days ago
2007
Springer
Semantic Web databases allow efficient storage and access to RDF statements. Applications are able to use expressive query languages in order to retrieve relevant metadata to perfo...
240
click to vote
ACL2
2006
ACM
16 years 24 days ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
183
Voted
CC
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Several mathematical frameworks for static analysis of programs have been developed in the past decades. Although these tools are quite useful, they have still many limit...