703 search results - page 40 / 141 » On Addressing the Computer Science Crisis |
GI
2008
Springer
14 years 10 months ago
2008
Springer
: To overcome limitations of small screens and to provide intuitive ways of interacting with personal data, this work addresses the seamless combination of sensor-enabled phones wi...
GI
2010
Springer
14 years 8 months ago
2010
Springer
: Determining the QoS (quality of service) of composite Web services is of crucial importance for both service providers and consumers. However, service descriptions of constituent...
SPIN
2010
Springer
14 years 8 months ago
2010
Springer
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...
GI
2009
Springer
14 years 7 months ago
2009
Springer
: Situation awareness for ground combat vehicles is being actively developed by the U.S. Army to enable soldiers and commanders to have a better understanding of their environments...
APPROX
2010
Springer
14 years 4 months ago
2010
Springer
d Abstract) Thomas P. Hayes1 and Alistair Sinclair2 1 Department of Computer Science, University of New Mexico 2 Computer Science Division, University of California at Berkeley A &...