964 search results - page 104 / 193 » Scenario-driven modeling and validation of requirements mode... |
IV
2008
IEEE
14 years 4 months ago
2008
IEEE
Design rationale remains poorly explained and rarely modelled on projects in industry. However, the reasons for design decisions are important when a specification has to be re-ex...
ASWEC
2007
IEEE
14 years 4 months ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
— In this paper, we present a trajectory tracking control algorithm for an autonomous motorcycle for the DARPA Grand Challenge. The mathematical dynamic model of the autonomous m...
ENC
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
LOCA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Navigation for and tracking of humans within a building usually implies significant infrastructure investment and devices are usually too high in weight and volume to be...