Sciweavers

4095 search results - page 495 / 819
» How to test a tree
Sort
View
IOLTS
2008
IEEE
117views Hardware» more  IOLTS 2008»
16 years 6 days ago
Verification and Analysis of Self-Checking Properties through ATPG
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...
Marc Hunger, Sybille Hellebrand
IROS
2008
IEEE
124views Robotics» more  IROS 2008»
16 years 6 days ago
Coordinated multi-robot exploration using a segmentation of the environment
— This paper addresses the problem of exploring an unknown environment with a team of mobile robots. The key issue in coordinated multi-robot exploration is how to assign target ...
Kai M. Wurm, Cyrill Stachniss, Wolfram Burgard
KBSE
2008
IEEE
16 years 6 days ago
Type-Checking Software Product Lines - A Formal Approach
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
Christian Kästner, Sven Apel
WMCSA
2008
IEEE
16 years 5 days ago
Making CAPTCHAs clickable
We show how to convert regular keyboard-entry CAPTCHAs into clickable CAPTCHAs. The goal of this conversion is to simplify and speed-up the entry of the CAPTCHA solution, to minim...
Richard Chow, Philippe Golle, Markus Jakobsson, Lu...
ACNS
2008
Springer
115views Cryptology» more  ACNS 2008»
16 years 4 days ago
Steel, Cast Iron and Concrete: Security Engineering for Real World Wireless Sensor Networks
Abstract. What are the real security issues for a wireless sensor network (WSN) intended to monitor the structural health of a suspension bridge, a subway tunnel or a water distrib...
Frank Stajano, Daniel Cvrcek, Matt Lewis