1465 search results - page 83 / 293 » Making the Correct Mistakes |
ICSE
2008
IEEE-ACM
15 years 12 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
100
click to vote
ESORICS
2002
Springer
15 years 11 months ago
2002
Springer
Network based intrusions have become a serious threat to the users of the Internet. Intruders who wish to attack computers attached to the Internet frequently conceal their identit...
ICCAD
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents an efficient method for verifying hazard freedom in timed asynchronous circuits. Timed circuits are a class of asynchronous circuits that utilize explicit tim...
108
click to vote
SI3D
2010
ACM
15 years 6 months ago
2010
ACM
Stochastic transparency provides a unified approach to orderindependent transparency, anti-aliasing, and deep shadow maps. It augments screen-door transparency using a random sub...
CBMS
2009
IEEE
15 years 6 months ago
2009
IEEE
Providing a comprehensive set of relevant information at the point of care is crucial for making correct clinical decisions in a timely manner. Retrieval of scenario specific inf...