5243 search results - page 992 / 1049 » Reasoning About Strategies |
154
click to vote
SCAM
2008
IEEE
16 years 13 days ago
2008
IEEE
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...
190
click to vote
ACSAC
2007
IEEE
16 years 12 days ago
2007
IEEE
The effectiveness and precision of network-based intrusion detection signatures can be evaluated either by direct analysis of the signatures (if they are available) or by using bl...
158
click to vote
CSFW
2007
IEEE
16 years 12 days ago
2007
IEEE
mplementations for Typed Session Abstractions Ricardo Corin1,2,3 Pierre-Malo Deni´elou1,2 C´edric Fournet1,2 Karthikeyan Bhargavan1,2 James Leifer1 1 MSR-INRIA Joint Centre 2 Mic...
141
click to vote
MICRO
2007
IEEE
16 years 10 days ago
2007
IEEE
Snoopy cache coherence can be implemented in any physical network topology by embedding a logical unidirectional ring in the network. Control messages are forwarded using the ring...
178
click to vote
MICRO
2007
IEEE
16 years 10 days ago
2007
IEEE
Program runtime characteristics exhibit significant variation. As microprocessor architectures become more complex, their efficiency depends on the capability of adapting with wor...