Sciweavers

2695 search results - page 230 / 539
» A Visual Approach to Validating System Level Designs
Sort
View
154
Voted
ICONS
2009
IEEE
15 years 10 months ago
Modeling System Safety Requirements Using Input/Output Constraint Meta-automata
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
Zhe Chen, Gilles Motet
115
Voted
WSC
2004
15 years 5 months ago
The Use of Simulation to Support Major Transportation Planning Decisions
When major transportation infrastructures such as freight corridors or port systems are being planned, there are typically multiple phases of preliminary engineering required. Dur...
Beth C. Kulick
123
Voted
ICRA
2007
IEEE
160views Robotics» more  ICRA 2007»
15 years 10 months ago
OOPS for Motion Planning: An Online, Open-source, Programming System
— The success of sampling-based motion planners has resulted in a plethora of methods for improving planning components, such as sampling and connection strategies, local planner...
Erion Plaku, Kostas E. Bekris, Lydia E. Kavraki
ECAI
2008
Springer
15 years 5 months ago
Incremental Component-Based Construction and Verification of a Robotic System
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
Ananda Basu, Matthieu Gallien, Charles Lesire, Tha...
PEWASUN
2005
ACM
15 years 9 months ago
Real-time perceptual QoS satisfactions of multimedia information
Multimedia contents are becoming the major information going through the Internet. Pervasive network infrastructure expedites data delivery with improved network throughput and re...
Ka Lun Eddie Law, Sunny So