12774 search results - page 239 / 2555 » A Framework for Proof Systems |
147
click to vote
SAC
2006
ACM
16 years 18 days ago
2006
ACM
This paper describes the Resource Allocation and Control Engine (RACE) that integrates multiple resource management algorithms for (re)deploying and managing performance of applic...
164
click to vote
VLDB
2004
ACM
15 years 12 months ago
2004
ACM
This demonstration shows an integrated query processing environment where users can seamlessly query both a data stream management system and a sensor network with one query expre...
153
click to vote
TACAS
2007
Springer
16 years 22 days ago
2007
Springer
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
143
click to vote
PST
2008
15 years 8 months ago
2008
To enable a rich attribute-based authorization system, it is desirable that a large number of user attributes are available, possibly provided by multiple entities. The user may b...