3819 search results - page 200 / 764 » Simple Easy Terms |
159
click to vote
TACAS
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
182
click to vote
CHI
2004
ACM
16 years 15 days ago
2004
ACM
With the evolving functionality in television-based (TVbased) information and entertainment appliances, there is an increased need to enable users input text through remote contro...
173
click to vote
MOBICOM
2004
ACM
16 years 15 days ago
2004
ACM
In order to meet performance goals, it is widely agreed that vehicular ad hoc networks (VANETs) must rely heavily on node-to-node communication, thus allowing for malicious data t...
227
Voted
MOBICOM
2004
ACM
16 years 15 days ago
2004
ACM
Without realistic modeling of node mobility, simulation evaluation of performance of mobile ad hoc networks may not correlate well with performance in a real deployment. In this p...
169
click to vote
SIGMETRICS
2004
ACM
16 years 15 days ago
2004
ACM
Low priority data transfer across the wide area is useful in several contexts, for example for the dissemination of large files such as OS updates, content distribution or prefet...