Sciweavers

2404 search results - page 79 / 481
» Postmodernism and Control Engineering
Sort
View
ICST
2008
IEEE
16 years 19 days ago
Model-Based Tests for Access Control Policies
We present a model-based approach to testing access control requirements. By using combinatorial testing, we first automatically generate test cases from and without access contro...
Alexander Pretschner, Tejeddine Mouelhi, Yves Le T...
CCECE
2006
IEEE
16 years 8 days ago
Control of Tele-Operation Systems Subject to Capacity Limited Channels and Uncertainty
This paper is concerned with asymptotic observability and stabilizability of dynamical systems over communication channels subject to limited transmission capacity constraint and ...
Alireza Farhadi, Charalambos D. Charalambous
COMPSAC
2002
IEEE
15 years 11 months ago
Case Study: Componentization of an Industrial Control System
When different business units of an international company are responsible for the development of different parts of a large system, a component-based software architecture may be ...
Frank Lüders, Ivica Crnkovic, Andreas Sjö...
TACS
2001
Springer
15 years 10 months ago
A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
Daisuke Hoshina, Eijiro Sumii, Akinori Yonezawa
CCE
2008
15 years 4 months ago
Optimal current distribution control for parallel electrolytic baths
A simple optimal balance control scheme for electrolyzation plants is proposed. It can be realized through the use of a commercially available model predictive control (MPC) packa...
Hidekazu Kugemoto, Keita Ozaki, Yoshinori Kutsuwa,...