848 search results - page 120 / 170 » Designing home availability services |
103
click to vote
DATE
2004
IEEE
15 years 3 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
USENIX
2000
15 years 1 months ago
2000
The goal of the Globe project is to design and build a middleware platform that facilitates the development of large-scale distributed applications, such as those found on the Int...
104
click to vote
MOBISYS
2011
ACM
14 years 2 months ago
2011
ACM
This paper is motivated by two observations: (1) cellular network operators are actively exploring advertisement delivery as a new means of revenue generation, and (2) cellular ba...
112
click to vote
INFOCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
—It has been widely acknowledged that online storage systems within the “cloud” of the Internet provide services of a substantial value to end users who wish to share files ...
100
click to vote
VRML
2003
ACM
15 years 5 months ago
2003
ACM
New acquisition and modeling tools make it easier to create 3D models, and affordable and powerful graphics hardware makes it easier to use them. As a result, the number of 3D mo...