3742 search results - page 669 / 749 » On the Use of Formal Techniques for Validation |
169
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
This paper shares our experience in designing a web crawler that can download billions of pages using a single-server implementation and models its performance. We show that with ...
130
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
Large screen displays require new interaction techniques because of their physical size. Even though there are technologies that tackle the problem of interaction with such device...
169
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
Wireless broadcast is an efficient way for information dissemination due to its good scalability [10]. Existing works typically assume mobile devices, such as cell phones and PDAs...
184
click to vote
DEXA
2009
Springer
16 years 26 days ago
2009
Springer
Dimension hierarchies represent a substantial part of the data warehouse model. Indeed they allow decision makers to examine data at different levels of detail with On-Line Analyt...
152
click to vote
ICDM
2006
IEEE
16 years 10 days ago
2006
IEEE
Technologies that use the Internet network to deliver voice communications have the potential to reduce costs and improve access to communications services around the world. Howev...