40 search results - page 2 / 8 » Some Computer Science Issues in Creating a Sustainable World |
GI
2007
Springer
13 years 9 months ago
2007
Springer
: Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, the...
JCDL
2006
ACM
13 years 11 months ago
2006
ACM
The development of public libraries may have inadvertently brought the age of marginalia to a close but the advent of digital libraries could revive the practice of marginal annot...
CHI
2005
ACM
14 years 5 months ago
2005
ACM
Although gender differences in a technological world are receiving significant research attention, much of the research and practice has aimed at how society and education can imp...
BIRTHDAY
2009
Springer
14 years 2 days ago
2009
Springer
Super-resolution is the art of creating nice high-resolution raster images from given low-resolution raster images. Since “nice” is not a well-defined term in mathematics and ...
SIGMETRICS
2012
ACM
11 years 7 months ago
2012
ACM
The energy consumed by data centers is starting to make up a significant fraction of the world’s energy consumption and carbon emissions. A large fraction of the consumed energ...