10284 search results - page 456 / 2057 » Designing for nomadic work |
203
click to vote
DAC
1997
ACM
15 years 10 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...
188
click to vote
ICECCS
1995
IEEE
15 years 10 months ago
1995
IEEE
Design, performance management, and capacity planning of client/server applications in the commercial enterprise depends on the ability to model these distributed applications at ...
120
click to vote
AVI
2008
15 years 9 months ago
2008
We present work that explores whether the asynchronous peer-topeer communication capabilities of email can be made accessible to illiterate populations in the developing world. Bu...
177
click to vote
ECTEL
2008
Springer
15 years 8 months ago
2008
Springer
The main purpose behind the design of this experience is the idea of obtaining useful information to know how the online courses in our University have been developed, and trying t...
160
click to vote
ECSCW
2001
15 years 8 months ago
2001
Drawing on studies of experimental systems and everyday settings we explore the relationship between social interaction and its environment. We show how interaction is inextricably...