533 search results - page 67 / 107 » Control flow based obfuscation |
130
Voted
COMSWARE
2007
IEEE
15 years 9 months 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...
136
Voted
DAC
1997
ACM
15 years 6 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...
125
Voted
ISSTA
2006
ACM
15 years 8 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...
129
Voted
JSS
2008
15 years 1 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...
123
click to vote
GLOBECOM
2006
IEEE
15 years 8 months 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...