2523 search results - page 45 / 505 » Correct Development of Embedded Systems |
WORDS
2005
IEEE
14 years 1 months ago
2005
IEEE
Component-based software engineering is a technique that has proven effective to increase reusability and efficiency in development of office and web applications. Though being ...
AUTOMATICA
2002
13 years 7 months ago
2002
This paper addresses the computation of the required trajectory correction maneuvers (TCM) for a halo orbit space mission to compensate for the launch velocity errors introduced b...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
We show how Embedded Graph Grammars (EGGs) are used to specify local interaction rules between mobile robots in a natural manner. This formalism allows us to treat local network to...
CHI
2010
ACM
14 years 2 months ago
2010
ACM
Researchers have developed many models to predict and understand human performance in text entry. Most of the models are specific to a technology or fail to account for human fact...
ICRA
1994
IEEE
13 years 12 months ago
1994
IEEE
This paper presents a new approach to accurate and reliable dead-reckoning with mobile robots. The approach makes use of special properties of our recently developed Multi-Degreeo...