In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
Frederick T. Sheldon, Stefan Greiner, Matthias Ben...
The locomotion device is an input interface, which can sense the walking pace and direction of the user, for the virtual reality system. This paper presents a new type of locomoti...
In January, 2004, the Mars Exploration Rover (MER) mission landed two rovers, Spirit and Opportunity, on the surface of Mars. Several autonomous navigation capabilities were employ...
Mark W. Maimone, Andrew Edie Johnson, Yang Cheng, ...