28497 search results - page 189 / 5700 » Improving experiences of computation |
127
Voted
TSE
1998
15 years 3 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...
142
Voted
IFIP
2010
Springer
14 years 10 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...
147
Voted
ICMCS
1999
IEEE
15 years 8 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...
113
Voted
DSN
2005
IEEE
15 years 9 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 ...
145
Voted
CHI
2002
ACM
16 years 4 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...