1453 search results - page 100 / 291 » State and history in operating systems |
106
click to vote
MIE
2008
15 years 2 months ago
2008
In the United States and Europe, electronic health records (EHRs) allow information technology and decision-support to facilitate the activities of clinicians and are considered a...
122
click to vote
AAAI
2004
15 years 2 months ago
2004
We describe SCoT, a Spoken Conversational Tutor, which has been implemented in order to investigate the advantages of natural language in tutoring, especially spoken language. SCo...
111
Voted
CSFW
1997
IEEE
15 years 4 months ago
1997
IEEE
A type system is given that eliminates two kinds of covert flows in an imperative programming language. The first kind arises from nontermination and the other from partial oper...
89
Voted
SIGOPSE
2004
ACM
15 years 6 months ago
2004
ACM
This paper promotes accountability as a central design goal for dependable networked systems. We define three properties for accountable systems that extend beyond the basic secu...
100
click to vote
FMCAD
2007
Springer
15 years 4 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...