9110 search results - page 1716 / 1822 » Formally-Based Design Evaluation |
MDM
2005
Springer
14 years 3 months ago
2005
Springer
The ever-increasing popularity of mobile applications coupled with the prevalence of spatial data has created the need for efficient processing of spatial queries in mobile enviro...
MHCI
2005
Springer
14 years 3 months ago
2005
Springer
Users of mobile tour guides often express a strong desire for the system to be able to provide information on arbitrary objects they encounter during their visit – akin to point...
NOSSDAV
2005
Springer
14 years 3 months ago
2005
Springer
An improved prototype of the “voiscape” voice communication medium has been developed and subjectively evaluated. Voiscape enables natural and seamless voice communication by ...
OOPSLA
2005
Springer
14 years 3 months ago
2005
Springer
Garbage collection yields numerous software engineering benefits, but its quantitative impact on performance remains elusive. One can compare the cost of conservative garbage col...
OOPSLA
2005
Springer
14 years 3 months ago
2005
Springer
is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program. In the absence of side-effects, futur...