533 search results - page 67 / 107 » Control flow based obfuscation |
173
click to vote
COMSWARE
2007
IEEE
16 years 9 days ago
2007
IEEE
— Cache and Forward (CNF) Architecture is a novel architecture aimed at delivering content efficiently to potentially large number of intermittently connected mobile hosts. It us...
180
click to vote
DAC
1997
ACM
15 years 9 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
161
click to vote
ISSTA
2006
ACM
15 years 12 months ago
2006
ACM
As the Aspect-Oriented Software Development gains popularity, there is growing interest as developing for existing object-oriented software aspects to address the crosscutting pro...
177
click to vote
JSS
2008
15 years 4 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
168
click to vote
GLOBECOM
2006
IEEE
16 years 16 hour ago
2006
IEEE
— This paper studies the case where multiple IP flows are aggregated over a single satellite channel and an error recovery by retransmissions is performed by SelectiveRepeat (SR...