199 search results - page 20 / 40 » date 2000 |
ERCIMDL
2000
Springer
15 years 2 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, ...
60
Voted
ICSE
2000
IEEE-ACM
15 years 2 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
15 years 2 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
14 years 11 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?
14 years 10 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...