3792 search results - page 698 / 759 » Techniques for Trusted Software Engineering |
120
click to vote
DSN
2009
IEEE
15 years 7 months ago
2009
IEEE
Dynamic Information Flow Tracking (DIFT) is a promising security technique. With hardware support, DIFT prevents a wide range of attacks on vulnerable software with minimal perfor...
124
click to vote
IOLTS
2009
IEEE
15 years 7 months ago
2009
IEEE
— The paper deals with designing fault tolerant finite state machines (FSMs) by nanoelectronic programmable logic arrays (PLAs). Two main critical parameters of the fault toleran...
82
Voted
CIKM
2009
Springer
15 years 7 months ago
2009
Springer
Structural indices play a significant role in improving the efficiency of XML query evaluation. Being able to compare various structural indexing techniques is critical for a DBM...
69
Voted
FMCAD
2009
Springer
15 years 7 months ago
2009
Springer
—Sequential equivalence checking (SEC) technologies, capable of demonstrating the behavioral equivalence of two designs, have grown dramatically in capacity over the past decades...
89
Voted
FSTTCS
2009
Springer
15 years 7 months ago
2009
Springer
We introduce and study the donation center location problem, which has an additional application in network testing and may also be of independent interest as a general graph-theor...