Sciweavers

1989 search results - page 51 / 398
» Applications of a model based predictive control to heat-exc...
Sort
View
WORDS
2005
IEEE
15 years 7 months ago
A Role-Based Access Control Policy Verification Framework for Real-Time Systems
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
Basit Shafiq, Ammar Masood, James Joshi, Arif Ghaf...
SACMAT
2006
ACM
15 years 8 months ago
The secondary and approximate authorization model and its application to Bell-LaPadula policies
We introduce the concept, model, and policy-specific algorithms for inferring new access control decisions from previous ones. Our secondary and approximate authorization model (...
Jason Crampton, Wing Leung, Konstantin Beznosov
BMCBI
2011
14 years 5 months ago
PRIN, a predicted rice interactome network
Background: Protein-protein interactions play a fundamental role in elucidating the molecular mechanisms of biomolecular function, signal transductions and metabolic pathways of l...
Haibin Gu, Pengcheng Zhu, Yinming Jiao, Yijun Meng...
IROS
2008
IEEE
127views Robotics» more  IROS 2008»
15 years 8 months ago
Mobile robot path tracking of aggressive maneuvers on sloped terrain
—Path tracking control on non-flat terrain is an important capability of mobile robots operating in outdoor environments. A path tracking controller based on the model predictive...
Steven C. Peters, Karl Iagnemma
FDL
2005
IEEE
15 years 7 months ago
Synthesis for Unified Control- and Data-Oriented Models
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
Oana Florescu, Jeroen Voeten, Henk Corporaal