5030 search results - page 66 / 1006 » cases 2007 |
137
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Computer forensics is a relatively new, but growing, field of study at the undergraduate college and university level. This paper describes some of the course design aspects of te...
106
click to vote
AUSDM
2007
Springer
15 years 10 months ago
2007
Springer
The maintenance dataset provided by SunWater contains information about failed assets also known as components and their corresponding failure modes. Currently, extraction of this...
110
click to vote
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
Type systems for secure information flow aim to prevent a program from leaking information from variables that hold secret data to variables that hold public data. In this work we...
136
click to vote
MKM
2007
Springer
15 years 10 months ago
2007
Springer
We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning ...
134
click to vote
COSIT
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present a methodology of how to use a top-level ontology to create a domain ontology from existing scientific texts by (1) identifying informal definitions of domain-s...