Sciweavers

809 search results - page 70 / 162
» Requirements by Contracts allow Automated System Testing
Sort
View
JSW
2008
95views more  JSW 2008»
14 years 12 months ago
From Sensors to Assisted Driving - Bridging the Gap
Increasing traffic density enforces development of Advanced Driver Assistance Systems to cope with safety aspects. Such systems require serious amount of sensor data to deduce spat...
Marcus Tönnis, Jan-Gregor Fischer, Gudrun Kli...
SIES
2010
IEEE
14 years 9 months ago
Verification of a CAN bus model in SystemC with functional coverage
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
Christoph Kuznik, Gilles B. Defo, Wolfgang Mü...
IROS
2006
IEEE
130views Robotics» more  IROS 2006»
15 years 5 months ago
A Novel Distributed Telerobotic System for Construction Machines Based on Modules Synchronization
— On a scene of a natural disaster, rescuers require heavy duty hydraulic machines to answer their need of large forces, or to approach an unreachable spot. Those industrial vehi...
Eric Rohmer, Kazuya Yoshida, E. Nakano
AI
2005
Springer
15 years 5 months ago
ARES 2: A Tool for Evaluating Cooperative and Competitive Multi-agent Systems
The Agent Rescue Emergency Simulator (ARES) system provides a simplified rescue scenario similar to Robocup Rescue for use in the educational or research fields when evaluating m...
Jörg Denzinger, Jordan Kidney
EWCBR
2006
Springer
15 years 3 months ago
Case-Base Maintenance for CCBR-Based Process Evolution
The success of a company more and more depends on its ability to flexibly and quickly react to changes. Combining process management techniques and conversational case-based reason...
Barbara Weber, Manfred Reichert, Werner Wild