2701 search results - page 221 / 541 » On the form of witness terms |
166
click to vote
IEEEPACT
2006
IEEE
16 years 20 days ago
2006
IEEE
Code restructuring compilers rely heavily on program analysis techniques to automatically detect data dependences between program statements. Dependences between statement instanc...
178
click to vote
ASPLOS
2006
ACM
16 years 18 days ago
2006
ACM
Control-Flow Integrity (CFI) is a property that guarantees program control flow cannot be subverted by a malicious adversary, even if the adversary has complete control of data m...
175
click to vote
IMC
2006
ACM
16 years 18 days ago
2006
ACM
While the problem of analyzing network traffic at the granularity of individual connections has seen considerable previous work and tool development, understanding traffic at a ...
222
click to vote
WS
2005
ACM
16 years 5 days ago
2005
ACM
Mobile ad hoc networks (MANETs) offer communication over a shared wireless channel without any pre-existing infrastructure. Forming peer-to-peer security associations in MANETs i...
209
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...