105 search results - page 15 / 21 » VALENS: A Knowledge Based Tool to Validate and Verify an Aio... |
SP
2010
IEEE
13 years 11 months ago
2010
IEEE
—Fuzz testing has proven successful in finding security vulnerabilities in large programs. However, traditional fuzz testing tools have a well-known common drawback: they are in...
CBMS
2008
IEEE
14 years 1 months ago
2008
IEEE
Traditional approaches of assessment in the medical domain are insufficient for evaluating trainees’ technical skills. Currently, many European medical training bodies are attem...
ICCAD
2007
IEEE
14 years 1 months ago
2007
IEEE
—In latency-insensitive design shell modules are used to encapsulate system components (pearls) in order to interface them with the given latency-insensitive protocol and dynamic...
UCS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Sensor networks using mobile robots have recently been proposed to deal with data communication in disruption tolerant networks (DTNs) where an instantaneous end-to-end p...
ECLIPSE
2006
ACM
14 years 1 months ago
2006
ACM
Producing usable documentation has always been a tedious task, and even communicating important knowledge about a system among collaborators is difficult. This paper describes an ...