4923 search results - page 897 / 985 » Software Risk Management |
ISMDA
2000
Springer
14 years 17 days ago
2000
Springer
In this work, we describe a project, jointly started by DEIS University of Bologna and Dianoema S.p.A., in order to build a system which is able to monitor nosocomial infections. T...
SIGUCCS
2000
ACM
14 years 16 days ago
2000
ACM
In a Collegiate setting, technology must be functional, effective, and highly visible. In the fall of 1999 the CIS department at Bowdoin College saw the need for a greater number ...
TACAS
2000
Springer
14 years 16 days ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
USENIX
2008
13 years 11 months ago
2008
Commodity virtual machine monitors forbid direct access to I/O devices by untrusted guest operating systems in order to provide protection and sharing. However, both I/O memory ma...
CIKM
2008
Springer
13 years 11 months ago
2008
Springer
Learning a sequence classifier means learning to predict a sequence of output tags based on a set of input data items. For example, recognizing that a handwritten word is "ca...