6800 search results - page 1107 / 1360 » Testing with Functions as Specifications |
141
click to vote
HRI
2006
ACM
15 years 11 months ago
2006
ACM
Autonomous robots use sensors to perceive and track objects in the world. Tracking algorithms use object motion models to estimate the position of a moving object. Tracking effic...
135
click to vote
MOBICOM
2006
ACM
15 years 11 months ago
2006
ACM
AUSNet is a functional network of autonomous undersea vehicles. We present two novel algorithms to enhance AUSNet. In live inwater testing, a packet queueing problem in which stal...
112
click to vote
ACSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
We present e-NeXSh, a novel security approach that utilises kernel and LIBC support for efficiently defending systems against process-subversion attacks. Such attacks exploit vul...
136
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
129
click to vote
CEC
2005
IEEE
15 years 10 months ago
2005
IEEE
AbstractThis paper presents a real-coded memetic algorithm that combines a high diversity global exploration with an adaptive local search method to the most promising individuals ...