10159 search results - page 1616 / 2032 » System Design Validation Using Formal Models |
175
Voted
RAS
2008
15 years 6 months ago
2008
In this paper, a nonlinear controller design for an omni-directional mobile robot is presented. The robot controller consists of an outer-loop (kinematics) controller and an inner...
183
Voted
IJWIS
2008
15 years 6 months ago
2008
ed Abstract: Purpose of this paper Software Product Line (SPL) is at the forefront among the techniques for reducing costs, decreasing schedule time, and ensuring commonality of fe...
188
click to vote
WSC
2007
15 years 9 months ago
2007
State-dependent importance sampling (SDIS) has proved to be particularly useful in simulation (specially in rare event analysis of stochastic systems). One approach for designing ...
184
Voted
CSREASAM
2007
15 years 8 months ago
2007
- Context-based access control is an emerging approach for modeling adaptive solution, making access control management more flexible and powerful. However, these strategies are in...
178
click to vote
CCGRID
2006
IEEE
16 years 28 days ago
2006
IEEE
Simulation and optimization of complex mechanical and electronical systems is a very time consuming and computationally intensive task. Therefore, metamodeling techniques are ofte...