Sciweavers

7527 search results - page 295 / 1506
» Design and implementation of the KioskNet system
Sort
View
ICRA
2005
IEEE
144views Robotics» more  ICRA 2005»
16 years 7 days ago
A Miniature Mobile Robot With a Color Stereo Camera System for Swarm Robotics Research
— In swarm robotics research, instead of using large size robots, it is often desirable to have multiple small size robots for saving valuable work space and making the maintaina...
Janne Haverinen, Mikko Parpala, Juha Röning
FATES
2004
Springer
16 years 18 hour ago
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
Behzad Bordbar, Kozo Okano
KBSE
2007
IEEE
16 years 27 days ago
Adaptation hiding modularity
Growth in the complexity of computing systems, in the dynamism of the environments they operate in, and the need for timely adaptations as conditions change, now pose significant...
Yuanyuan Song
FMCAD
2007
Springer
16 years 24 days ago
Global Optimization of Compositional Systems
—Embedded systems typically consist of a composition of a set of hardware and software IP modules. Each module is heavily optimized by itself. However, when these modules are com...
Fadi A. Zaraket, John Pape, Adnan Aziz, Margarida ...
ICWE
2004
Springer
16 years 7 hour ago
Engineering the Presentation Layer of Adaptable Web Information Systems
Abstract. Engineering adaptable Web Information Systems (WIS) requires systematic design models and specification frameworks. A complete model-driven methodology like Hera disting...
Zoltán Fiala, Flavius Frasincar, Michael Hi...