4212 search results - page 538 / 843 » Rights Expression Languages |
165
click to vote
ICADL
2005
Springer
16 years 5 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...
172
click to vote
OTM
2005
Springer
16 years 4 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 ...
157
click to vote
PPDP
2005
Springer
16 years 4 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...
158
Voted
ISSTA
2004
ACM
16 years 2 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...
177
click to vote
CARDIS
2004
Springer
16 years 1 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...