Sciweavers

148
Voted
CNSR
2009
IEEE
164views Communications» more  CNSR 2009»
15 years 8 months ago
DibA: An Adaptive Broadcasting Scheme in Mobile Ad Hoc Networks
Broadcasting is a vital communication mechanism in Mobile Ad Hoc Networks, as it is the key element for exchanging control packets to support some services such as management and ...
Dimitrios Liarokapis, Alireza Shahrabi, Andreas Ko...
CNSR
2009
IEEE
167views Communications» more  CNSR 2009»
15 years 8 months ago
BotCop: An Online Botnet Traffic Classifier
Wei Lu, Mahbod Tavallaee, Goaletsa Rammidi, Ali A....
CNSR
2009
IEEE
108views Communications» more  CNSR 2009»
15 years 8 months ago
A New Adaptive Prediction-Based Tracking Scheme for Wireless Sensor Networks
The accuracy of the object tracking is dependent on the tracking time interval. Smaller tracking time interval increases the accuracy of tracking a moving object. However, this inc...
Hadi Jamali Rad, Bahman Abolhassani, Mohammad Abdi...
ISSTA
2010
ACM
15 years 8 months ago
Automated fixing of programs with contracts
In program debugging, finding a failing run is only the first step; what about correcting the fault? Can we automate the second task as well as the first? The AutoFix-E tool au...
Yi Wei, Yu Pei, Carlo A. Furia, Lucas S. Silva, St...
ISSTA
2010
ACM
15 years 8 months ago
Proving memory safety of floating-point computations by combining static and dynamic program analysis
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
Patrice Godefroid, Johannes Kinder