10038 search results - page 1860 / 2008 » Model Checking for Managers |
142
click to vote
JCIT
2007
15 years 1 months ago
2007
The applications in many scientific fields, like bioinformatics and high-energy physics etc, increasingly demand the computing infrastructures can provide more computing power and...
105
click to vote
JCM
2007
15 years 1 months ago
2007
— RFID (Radio frequency identification) technology raises many privacy concerns among which the potential tracking of an RFID tag bearer and the eventuality of an illegitimate r...
110
click to vote
TOCS
2008
15 years 1 months ago
2008
Bigtable is a distributed storage system for managing structured data that is designed to scale to a very large size: petabytes of data across thousands of commodity servers. Many...
124
click to vote
TOSEM
2008
15 years 1 months ago
2008
e than previously established, appearing at various levels of abstraction, in diverse systems and languages. The implications of this phenomenon cover various aspects of software e...
TPDS
2008
15 years 1 months ago
2008
High Performance Computing data centers have been rapidly growing, both in number and size. Thermal management of data centers can address dominant problems associated with cooling...