— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ri...
Abstract— This paper presents a tactical path planning algorithm for following ridges or valleys across a 3D terrain. The intent is to generate a path that enables an unmanned ve...
David L. Page, Andreas Koschan, Mongi A. Abidi, Ja...
— We focus on detecting intrusions in ad hoc networks using the misuse detection technique. We allow for detection modules that periodically fail to detect attacks and also gener...
To celebrate the 100th anniversary of the announcement of the special relativity theory of Albert Einstein, KAIST HUBO team and hanson robotics team developed android type humanoi...
Jun-Ho Oh, David Hanson, Won-Sup Kim, Young Han, J...
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
W. Douglas Obal II, Michael G. McQuinn, William H....