6164 search results - page 1231 / 1233 » Teaching Computer Security |
182
Voted
IANDC
2011
15 years 23 days ago
2011
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a res...
173
click to vote
URBAN
2011
15 years 22 days ago
2011
This paper reports on the development and application of strategies and tools for geographic information seeking and knowledge building that leverages unstructured text resources ...
188
Voted
JAMIA
2010
15 years 18 days ago
2010
In 1997, the American Medical Informatics Association proposed a US information strategy that included a population health record (PopHR). Despite subsequent progress on the conce...
193
click to vote
SIGSOFT
2010
ACM
15 years 16 days ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...
204
click to vote
TVLSI
2010
15 years 14 days ago
2010
Program code in a computer system can be altered either by malicious security attacks or by various faults in microprocessors. At the instruction level, all code modifications are ...