7380 search results - page 1420 / 1476 » Engineering Software Intensive Systems |
WWW
2003
ACM
14 years 10 months ago
2003
ACM
In the light of image retrieval evolving from text annotation to content-based and from standalone applications to web-based search engines, we foresee the need for deploying cont...
MOBISYS
2008
ACM
14 years 9 months ago
2008
ACM
Mobile users of computation and communication services have been rapidly adopting battery-powered mobile handhelds, such as PocketPCs and SmartPhones, for their work. However, the...
POPL
2010
ACM
14 years 7 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
EUROSYS
2009
ACM
14 years 6 months ago
2009
ACM
Recently, flash-based solid-state drives (SSDs) have become standard options for laptop and desktop storage, but their impact on enterprise server storage has not been studied. P...
EUROSYS
2009
ACM
14 years 6 months ago
2009
ACM
: Virtualized data centers enable consolidation of multiple applications and sharing of multiple resources among these applications. However, current virtualization technologies ar...