Sciweavers

3192 search results - page 263 / 639
» A Requirements-Driven Development Methodology
Sort
View
VRST
1999
ACM
15 years 11 months ago
Visualising logic programs in virtual worlds
Logic Programming as well as Virtual Reality applications have achieved a lot in the last few years. In this paper we present an architecture, a methodology and two simple example...
Themis Panayiotopoulos, Spyros Vosinakis, Sophia K...
ICRA
1998
IEEE
98views Robotics» more  ICRA 1998»
15 years 11 months ago
Physics-Based Planning for Planetary Exploration
Recently a planetary rover returned important scientific information from Mars. More ambitious missions are planned. New planning methods are required that allow rovers to explore...
Shane Farritor, Hervé Hacot, Steven Dubowsk...
ITC
1997
IEEE
60views Hardware» more  ITC 1997»
15 years 10 months ago
Current Signatures: Application
Analysis of IC technology trends indicates that Iddq testing may be approaching its limits of applicability. The new concept of the current signature may expand this limit under t...
Anne E. Gattiker, Wojciech Maly
AUSAI
1997
Springer
15 years 10 months ago
Evaluating a Qualitative Reasoner
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...
Sam Waugh, Tim Menzies, Simon Goss
DAC
1996
ACM
15 years 10 months ago
A Description Language for Design Process Management
A language for defining design discipline characteristics is proesign discipline characteristics such as abstraction levels, design object classifications and decompositions, desi...
Peter R. Sutton, Stephen W. Director