Sciweavers

4689 search results - page 354 / 938
» Analysis and modeling of control tasks in dynamic systems
Sort
View
CSFW
2012
IEEE
13 years 9 months ago
Gran: Model Checking Grsecurity RBAC Policies
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
Michele Bugliesi, Stefano Calzavara, Riccardo Foca...
FSTTCS
2008
Springer
15 years 8 months ago
Analyzing Asynchronous Programs with Preemption
ABSTRACT. Multiset pushdown systems have been introduced by Sen and Viswanathan as an adequate model for asynchronous programs where some procedure calls can be stored as tasks to ...
Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Toui...
ECCV
2010
Springer
16 years 6 days ago
Dynamic Color Flow: A Motion-Adaptive Color Model for Object Segmentation in Video
Accurately modeling object colors, and features in general, plays a critical role in video segmentation and analysis. Commonly used color models, such as global Gaussian mixtures, ...
IROS
2006
IEEE
96views Robotics» more  IROS 2006»
16 years 27 days ago
Turning Maneuvers of a Multi-legged Modular Robot Using Its Inherent Dynamic Characteristics
— This paper deals with the motion of a multi-legged modular robot. The robot consists of six homogenous modules, each of which has a body and two legs and is connected to the ot...
Shinya Aoi, Hitoshi Sasaki, Kazuo Tsuchiya
UAI
2000
15 years 8 months ago
Building a Stochastic Dynamic Model of Application Use
Many intelligent user interfaces employ application and user models to determine the user's preferences, goals and likely future actions. Such models require application anal...
Peter Gorniak, David Poole