4963 search results - page 74 / 993 » Implementing a Categorical Information System |
HPCA
1998
IEEE
15 years 4 months ago
1998
IEEE
In this paper we introduce a page-based Lazy Release Consistency protocol called ADSM that constantly and efficiently adapts to the applications' sharing patterns. Adaptation...
FM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
112
click to vote
IRI
2009
IEEE
15 years 6 months ago
2009
IEEE
Scientific digital libraries serve complex and evolving research communities. Justifications for the development of scientific digital libraries include the desire to preserve sci...
ATVA
2005
Springer
15 years 5 months ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
102
click to vote
DEXAW
2007
IEEE
15 years 6 months ago
2007
IEEE
We introduce TIRA1 , a software architecture for the rapid prototyping of tailored information retrieval (IR) tools. TIRA allows to compose personal IR tools from atomic IR servic...