5200 search results - page 861 / 1040 » Symbolic models for control systems |
226
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Since the electricity bill of a data center constitutes a significant portion of its overall operational costs, reducing this has become important. We investigate cost reduction o...
196
click to vote
OSDI
2002
ACM
16 years 7 months ago
2002
ACM
Many distributed applications can make use of large background transfers ? transfers of data that humans are not waiting for ? to improve availability, reliability, latency or con...
271
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
We consider systems for data sharing among heterogeneous peers related by a network of schema mappings. Each peer has a locally controlled and edited database instance, but wants ...
190
click to vote
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
Prostate cancer is the most frequent cancer for men and the second cause of cancer death. Confirmation of cancer requires transrectal prostate biopsies. Tracking systems for tran...
137
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Modern computer systems permit users to access protected information from remote locations. In certain secure environments, it would be desirable to restrict this access to a part...