Sciweavers

2347 search results - page 407 / 470
» Location, location, location: a study of bluejacking practic...
Sort
View
ECOOP
2001
Springer
14 years 8 days ago
On the Usefulness of Liveness for Garbage Collection and Leak Detection
Abstract. The effectiveness of garbage collectors and leak detectors in identifying dead objects depends on the “accuracy” of their reachability traversal. Accuracy has two ort...
Martin Hirzel, Amer Diwan, Antony L. Hosking
EWSPT
2001
Springer
14 years 8 days ago
Process Support for Mobile Work across Heterogeneous Systems
The emerging field of mobile computing (MC) studies systems in which computational components may change locations. In terms of hardware, mobile work is usually across heterogene...
Alf Inge Wang, Chunnian Liu
FM
2001
Springer
108views Formal Methods» more  FM 2001»
14 years 8 days ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer
SIGGRAPH
2010
ACM
14 years 8 days ago
Interactive on-surface signal deformation
We present an interactive system for the artistic control of visual phenomena visible on surfaces. Our method allows the user to intuitively reposition shadows, caustics, and indi...
Tobias Ritschel, Thorsten Thormählen, Carsten Dac...
INFOCOM
2000
IEEE
14 years 5 days ago
Prefetching the Means for Document Transfer: A New Approach for Reducing Web Latency
User-perceived latency is recognized as the central performance problem in the Web. We systematically measure factors contributing to this latency, across several locations. Our s...
Edith Cohen, Haim Kaplan