 |
The Second International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking COMPUTATION TOOLS 2011 |
| Awards |
The papers listed below have been selected as "Best Papers" based on the reviews of the original submission, the camera-ready version, and the presentation during the conference. For the awarded papers, a diploma will be issued in the name of the authors and mailed to the contact author.
Awarded Papers
A Tool for Signal Probability Analysis of FPGA-Based Systems
Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Paolo Masci
JClassic+ DE: A Description logic Reasoning tool: Application to dynamic access control
Narhimene Boustia, Aicha Mokhtari
