Sciweavers

2847 search results - page 454 / 570
» The Context-Dependent Role Model
Sort
View
ICRA
2005
IEEE
139views Robotics» more  ICRA 2005»
14 years 2 months ago
Making Collective Behaviours to work through Implicit Communication
— The aim of this paper is to investigate how stigmergic information allow each individual of a group of autonomous robots to take advantages from other individual behaviors. The...
Antonio D'Angelo, Enrico Pagello
RTCSA
2005
IEEE
14 years 2 months ago
RTPS Middleware for Real-Time Distributed Industrial Vision Systems
Designing and constructing Real-Time Distributed Industrial Vision Systems (RT-DIVS) from scratch is very complicated task. RT-DIVS has Conflicting requirements such as reasonable...
Basem Almadani
SEFM
2005
IEEE
14 years 2 months ago
Precise Analysis of Memory Consumption using Program Logics
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
Gilles Barthe, Mariela Pavlova, Gerardo Schneider
VISUALIZATION
2005
IEEE
14 years 2 months ago
Visual Analysis and Exploration of Fluid Flow in a Cooling Jacket
We present a visual analysis and exploration of fluid flow through a cooling jacket. Engineers invest a large amount of time and serious effort to optimize the flow through thi...
Robert S. Laramee, Christoph Garth, Helmut Doleisc...
PASTE
2005
ACM
14 years 2 months ago
An empirical framework for comparing effectiveness of testing and property-based formal analysis
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
Jeremy S. Bradbury, James R. Cordy, Jürgen Di...