12774 search results - page 242 / 2555 » A Framework for Proof Systems |
161
click to vote
DBSEC
2006
15 years 8 months ago
2006
Traditional access control models are often found to be inadequate for digital libraries. This is because the user population for digital libraries is very dynamic and not complete...
186
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This paper focuses on the cross-layer issue of resource allocation for energy efficiency in the uplink of a multiuser MIMO wireless communication system. Assuming that all of the ...
205
click to vote
ML
2007
ACM
15 years 6 months ago
2007
ACM
We offer a new formal criterion for agent-centric learning in multi-agent systems, that is, learning that maximizes one’s rewards in the presence of other agents who might also...
192
click to vote
ADBIS
2006
Springer
16 years 19 days ago
2006
Springer
While the cost per megabyte of magnetic disk storage is economical, organizations are alarmed by the increasing cost of managing storage. Storage Area Network (SAN) architectures ...
192
click to vote
VRML
2004
ACM
16 years 2 days ago
2004
ACM
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...