21324 search results - page 18 / 4265 » Making the case for computing |
GI
2007
Springer
13 years 11 months ago
2007
Springer
: The decomposition of planning and scheduling problems is a well known technique to make these problems tractable. The resulting dependable subproblems were often solved using dif...
DAC
1997
ACM
13 years 11 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
GROUP
1999
ACM
13 years 12 months ago
1999
ACM
This paper addresses issues of user interface design, relating to ease of use, of handheld CSCW. In particular, we are concerned with the requirements that arise from situations i...
HPDC
2010
IEEE
13 years 8 months ago
2010
IEEE
Cloud computing has emerged as a new approach to large scale computing and is attracting a lot of attention from the scientific and research computing communities. Despite its gro...
SENSYS
2009
ACM
14 years 2 months ago
2009
ACM
Network protocols are typically designed and tested individually. In practice, however, applications use multiple protocols concurrently. This discrepancy can lead to failures fro...