Sciweavers

7340 search results - page 335 / 1468
» The Behavior of Tutoring Systems
Sort
View
TC
2010
15 years 1 months ago
Generating Reliable Code from Hybrid-Systems Models
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
Madhukar Anand, Sebastian Fischmeister, Yerang Hur...
ICSE
2009
IEEE-ACM
16 years 1 months ago
Save-IDE - A tool for design, analysis and implementation of component-based embedded systems
The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...
Séverine Sentilles, Anders Pettersson, Dag ...
IEEEARES
2010
IEEE
16 years 1 months ago
A Semi-Markov Survivability Evaluation Model for Intrusion Tolerant Database Systems
—Survivability modeling and evaluation have gained increasing importance. Most existing models assume that the distributions for transitions between states are exponential. Howev...
Alex Hai Wang, Su Yan, Peng Liu
ATVA
2009
Springer
142views Hardware» more  ATVA 2009»
16 years 1 months ago
Synthesis of Fault-Tolerant Distributed Systems
Abstract. A distributed system is fault-tolerant if it continues to perform correctly even when a subset of the processes becomes faulty. Faulttolerance is highly desirable but oft...
Rayna Dimitrova, Bernd Finkbeiner
IROS
2007
IEEE
250views Robotics» more  IROS 2007»
16 years 29 days ago
Multi-cue 3D object recognition in knowledge-based vision-guided humanoid robot system
— A vision based object recognition subsystem on knowledge-based humanoid robot system is presented. Humanoid robot system for real world service application must integrate an ob...
Kei Okada, Mitsuharu Kojima, Satoru Tokutsu, Toshi...