4212 search results - page 538 / 843 » Rights Expression Languages |
187
Voted
ICADL
2005
Springer
16 years 29 days ago
2005
Springer
Search engines of main-stream literature digital libraries such as ACM Digital Library, Google Scholar, and PubMed employ file-based systems, and provide users with a basic boolean...
203
Voted
OTM
2005
Springer
16 years 28 days ago
2005
Springer
: Object-role Modeling (ORM) is a fact-oriented modeling approach for specifying, transforming, and querying information at a conceptual level. Unlike Entity-Relationship modeling ...
182
click to vote
PPDP
2005
Springer
16 years 28 days ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
174
click to vote
ISSTA
2004
ACM
16 years 27 days ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
201
click to vote
CARDIS
2004
Springer
16 years 26 days ago
2004
Springer
Smart card applications often handle privacy-sensitive information, and therefore must obey certain security policies. Typically, such policies are described as high-level security...