556 search results - page 81 / 112 » An Abstract Reduction Model for Computer Security Risk |
140
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
117
click to vote
CW
2003
IEEE
15 years 7 months ago
2003
IEEE
Information and infrastructure security is a serious issue of global concern. As the last line of defense for security infrastructure, intrusion detection techniques are paid more...
AGENTS
1997
Springer
15 years 6 months ago
1997
Springer
The Patient Advocate is designed to be an intelligent assistant for patient-centered health care. Residing on a home computer or special-purpose device and operating within an ext...
125
Voted
IWCM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Differential motion estimation is based on detecting brightness changes in local image structures. Filters approximating the local gradient are applied to the image seque...
122
click to vote
DAC
1995
ACM
15 years 5 months ago
1995
ACM
Abstract—With delays due to the physical interconnect dominating the overall logic path delays, circuit-level delay optimization must take interconnect effects into account. Inst...