Sciweavers

2210 search results - page 218 / 442
» Applying a Model-based Approach for Embedded System Developm...
Sort
View
ICRA
2003
IEEE
141views Robotics» more  ICRA 2003»
15 years 8 months ago
Control of biomimetic locomotion via averaging theory
Based on a recently developed ”generalized averaging theory,” we present a generic approach for the design of stabilizing feedback controllers for biomimetic locomotive systems...
Patricio A. Vela, Joel W. Burdick
C5
2003
IEEE
15 years 8 months ago
A Conceptual Framework for Learning Experience Design
This paper describes our approach of utilizing a computational environment to apply a learner’s learning process as a first class object. With this approach, the learner’s le...
Kumiyo Nakakoji, Kazuaki Yamada, Yasuhiro Yamamoto...
IJSEKE
2006
99views more  IJSEKE 2006»
15 years 3 months ago
Weaving Deployment Aspects into Domain-specific Models
pecific models increase the level of abstraction used to develop large-scale component-based systems. Model-driven development (MDD) approaches (e.g., ModelIntegrated Computing and...
Krishnakumar Balasubramanian, Aniruddha S. Gokhale...
152
Voted
JUCS
2000
102views more  JUCS 2000»
15 years 3 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
EMSOFT
2006
Springer
15 years 7 months ago
Modeling a system controller for timing analysis
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
Stephan Thesing