Sciweavers

798 search results - page 76 / 160
» presence 2006
Sort
View
ISCAS
2006
IEEE
105views Hardware» more  ISCAS 2006»
15 years 3 months ago
A CMOS contact imager for locating individual cells
— 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...
Honghao Ji, David Sander, A. Haas, Pamela Abshire
IWPC
2006
IEEE
15 years 3 months ago
Improving Comprehensibility of Source Code via Traceability Information: a Controlled Experiment
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, ...
NOMS
2006
IEEE
15 years 3 months ago
Predicting Machine Availabilities in Desktop Pools
—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...
Artur Andrzejak, Patrício Domingues, Lu&iac...
SP
2006
IEEE
147views Security Privacy» more  SP 2006»
15 years 3 months ago
A Computationally Sound Mechanized Prover for Security Protocols
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...
Bruno Blanchet
VTC
2006
IEEE
107views Communications» more  VTC 2006»
15 years 3 months ago
The Effect of Narrowband Interference on Frequency Ambiguity Resolution for OFDM
— 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...
Mohamed Marey, Heidi Steendam