— We describe the design of a contact imager for applications in lab-on-a-chip systems, such as sample preparation and manipulation and monitoring of cells. This is a challenging...
The presence of traceability links between software artefacts is very important to achieve high comprehensibility and maintainability. This is confirmed by several researches and ...
Andrea De Lucia, Rocco Oliveto, Francesco Zurolo, ...
—This paper describes a study of predicting machine availabilities and user presence in a pool of desktop computers. The study is based on historical traces collected from 32 mac...
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
— In orthogonal frequency division multiplexed (OFDM) systems affected by carrier frequency offsets, frequency ambiguity resolution, i.e. the estimation of the part of the freque...