Sciweavers

4454 search results - page 289 / 891
» Designing components for e-services
Sort
View
ICRA
2005
IEEE
144views Robotics» more  ICRA 2005»
16 years 10 days ago
Extensible Hardware Architecture for Mobile Robots
— The Intelligent Robotics Group at NASA Ames Research Center has developed a new mobile robot hardware architecture designed for extensibility and reconfigurability. Currently ...
Eric Park, Linda Kobayashi, Susan Y. Lee
RISE
2005
Springer
16 years 6 days ago
Formal Development of Reactive Fault Tolerant Systems
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
Linas Laibinis, Elena Troubitsyna
IV
2003
IEEE
92views Visualization» more  IV 2003»
16 years 3 hour ago
A Visual Formalism for Graphical User Interfaces based on State Transition Diagrams
In this paper we present a “lightweight” visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, te...
Carsten Maple, Tim French, Marc Conrad
DATE
2010
IEEE
263views Hardware» more  DATE 2010»
15 years 11 months ago
SCOC3: a space computer on a chip
—This paper presents the definition of an integrated processor core ASIC named SCOC3 which is designed for space computers. It also presents the validation method that has led to...
Franck Koebel, Jean-François Coldefy
KBSE
2002
IEEE
15 years 11 months ago
An Approach to Rapid Prototyping of Large Multi-Agent Systems
Engineering individual components of a multi-agent system and their interactions is a complex and error-prone task in urgent need of methods and tools. Prototyping is a valuable t...
Wamberto Weber Vasconcelos, Carles Sierra, Marc Es...