533 search results - page 67 / 107 » Control flow based obfuscation |
182
click to vote
COMSWARE
2007
IEEE
16 years 24 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...
189
click to vote
DAC
1997
ACM
15 years 10 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...
169
click to vote
ISSTA
2006
ACM
16 years 12 days 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...
183
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...
174
click to vote
GLOBECOM
2006
IEEE
16 years 15 days 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...