2137 search results - page 310 / 428 » Proving Abstract Non-interference |
138
Voted
ICCAD
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
120
Voted
ICNP
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— In many energy-rechargeable wireless sensor networks, sensor nodes must both sense data from the environment, and cooperatively forward sensed data to data sinks. Both ...
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— The roller racer, an undulatory locomotion system, is a toy which can be propelled forward by sitting on it and only oscillating the steering handle. A nonholonomic dyn...
101
Voted
IJCNN
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— Artificial neural networks have proved an attractive approach to non-linear regression problems arising in environmental modelling, such as statistical downscaling, sh...
108
Voted
INFOCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— While packet capture has been observed in real implementations of 802.11 devices, there is a lack of accurate models that describe the phenomenon. We present a general ...