Sciweavers

938 search results - page 101 / 188
» Dynamic QoS Control Based on the QoS-Ticket Model
Sort
View
ICRA
2008
IEEE
152views Robotics» more  ICRA 2008»
15 years 4 months ago
Stabilization algorithm for a high speed car-like robot achieving steering maneuver
— This paper deals with design and implementation of a stabilization algorithm for a car like robot performing high speed turns. The control of such a kind of system is rather di...
Eric Lucet, Christophe Grand, Damien Sallé,...
RSP
2003
IEEE
117views Control Systems» more  RSP 2003»
15 years 3 months ago
Prototype-Based Tests for Hybrid Reactive Systems
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
Gabor Hahn, Jan Philipps, Alexander Pretschner, Th...
FASE
2008
Springer
14 years 11 months ago
Automated Analysis of Permission-Based Security Using UMLsec
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
Jan Jürjens, Jörg Schreck, Yijun Yu
VISUALIZATION
1997
IEEE
15 years 2 months ago
Dynamic smooth subdivision surfaces for data visualization
Recursive subdivision schemes have been extensively used in computer graphics and scientific visualization for modeling smooth surfaces of arbitrary topology. Recursive subdivisi...
Chhandomay Mandal, Hong Qin, Baba C. Vemuri
ICSTM
2000
164views Management» more  ICSTM 2000»
14 years 11 months ago
Building Sustainable Interest in Modelling in the Classroom
System Dynamics has had a tough time breaking into High Schools. Like all good ideas the most difficult part is convincing those who would most benefit that this new approach is i...
Gordon Kubanek