Sciweavers

4689 search results - page 226 / 938
» Analysis and modeling of control tasks in dynamic systems
Sort
View
ICRA
2007
IEEE
212views Robotics» more  ICRA 2007»
16 years 28 days ago
Adaptive Trajectory Tracking Control of Skid-Steered Mobile Robots
— Skid-steered mobile robots have been widely used for terrain exploration and navigation. In this paper, we present an adaptive trajectory control design for a skid-steered whee...
Jingang Yi, Dezhen Song, Junjie Zhang, Zane Goodwi...
CAISE
2004
Springer
16 years 18 hour ago
Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment
Abstract. Information systems are vulnerable to accidental or malicious attacks. Security models for commercial computer systems exist, but information systems security is often ig...
Xiaocheng Ge, Fiona Polack, Régine Laleau
EDOC
2003
IEEE
15 years 12 months ago
Model Driven Security: Unification of Authorization Models for Fine-Grain Access Control
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...
Carol C. Burt, Barrett R. Bryant, Rajeev R. Raje, ...
SMC
2007
IEEE
134views Control Systems» more  SMC 2007»
16 years 27 days ago
A Petri net-based approach to QoS-aware configuration for web services
: With the development of enterprise-wide and cross-enterprise application integration and interoperation towards web service, web service providers try to not only fulfill the fun...
PengCheng Xiong, Yushun Fan, MengChu Zhou
ADAEUROPE
2008
Springer
15 years 8 months ago
On the Timed Automata-Based Verification of Ravenscar Systems
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
Iulian Ober, Nicolas Halbwachs