199 search results - page 20 / 40 » date 2000 |
ERCIMDL
2000
Springer
13 years 11 months ago
2000
Springer
This paper summarizes the organizational and technical issues involved in creating a digital library of Native American images. Initial participants include a museum, an archives, ...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety of settings. Their industrial use is still limited ...
SIGUCCS
2000
ACM
13 years 11 months ago
2000
ACM
The University of Maryland has recently begun a partnership with Byte Back, a computer skills training program for unemployed and underemployed persons in the Washington, D.C. are...
FLAIRS
2000
13 years 8 months ago
2000
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
PUC
2000
2000
Mobile Computers in a Community NHS Trust: Is this a Relevant Context and Environment for their Use?
13 years 7 months ago
This paper describes a case study in which mobile computers were used by a UK NHS Trust. The intention was to give clinicians access to up to date patient data enabling them to be...