5608 search results - page 1019 / 1122 » On the Theory of Matchgate Computations |
118
click to vote
IPPS
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we introduce the new technique of HighConfidence Software Monitoring (HCSM), which allows one to perform software monitoring with bounded overhead and concomitantl...
111
click to vote
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
109
click to vote
NDSS
2008
IEEE
15 years 8 months ago
2008
IEEE
Automatic signature generation is necessary because there may often be little time between the discovery of a vulnerability, and exploits developed to target the vulnerability. Mu...
102
click to vote
BROADNETS
2007
IEEE
15 years 8 months ago
2007
IEEE
Wireless Sensor Networks (WSNs) provide an important means of monitoring the physical world, but their ons present challenges to fundamental network services such as routing. In t...
120
click to vote
CIBCB
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— This paper presents a parametric model to estimate the DNA-protein binding time using the DNA and protein structures and details of the binding site. To understand the ...