3056 search results - page 574 / 612 » Open Implementation Analysis and Design |
WWW
2004
ACM
16 years 11 days ago
2004
ACM
This paper presents the design and user evaluation of SmartBack, a feature that complements the standard Back button by enabling users to jump directly to key pages in their navig...
121
click to vote
KDD
2007
ACM
16 years 3 days ago
2007
ACM
In recent years, the proliferation of VOIP data has created a number of applications in which it is desirable to perform quick online classification and recognition of massive voi...
187
click to vote
POPL
2004
ACM
16 years 7 hour ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
MOBISYS
2007
ACM
15 years 11 months ago
2007
ACM
The broadcast and tetherless nature of wireless networks and the widespread deployment of Wi-Fi hotspots makes it easy to remotely locate a user by observing her wireless signals....
113
click to vote
MOBIHOC
2008
ACM
15 years 11 months ago
2008
ACM
A Connected Dominating Set (CDS) working as a virtual backbone is an effective way to decrease the overhead of routing in a wireless sensor network. Furthermore, a kConnected m-Do...