28497 search results - page 189 / 5700 » Improving experiences of computation |
TSE
1998
13 years 9 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
IFIP
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. The BGP protocol is at the core of the routing infrastructure of the Internet. Across years, BGP has proved to be very stable for its purpose. However, there have been so...
ICMCS
1999
IEEE
14 years 2 months ago
1999
IEEE
At Wellesley College very rarely do the Fine Art and Computer Science faculty cross paths. That was the case until two years ago when we taught an experimental course that brought...
DSN
2005
IEEE
14 years 3 months ago
2005
IEEE
Reliability is a rapidly growing concern in contemporary Personal Computer (PC) industry, both for computer users as well as product developers. To improve dependability, systems ...
CHI
2002
ACM
14 years 10 months ago
2002
ACM
This paper discusses the use of gesture and non-speech audio as ways to improve the user interface of a mobile music player. Their key advantages mean that users could use a playe...