Sciweavers

4689 search results - page 207 / 938
» Analysis and modeling of control tasks in dynamic systems
Sort
View
FM
2005
Springer
112views Formal Methods» more  FM 2005»
16 years 3 days ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
IJON
2002
154views more  IJON 2002»
15 years 6 months ago
Nonlinear model predictive control of a cutting process
Nonlinear model predictive control (MPC) of a simulated chaotic cutting process is presented. The nonlinear MPC combines a neural-network model and a genetic-algorithm-based optim...
Primoz Potocnik, Igor Grabec
DATE
1999
IEEE
64views Hardware» more  DATE 1999»
15 years 11 months ago
Dynamic Power Management for non-stationary service requests
Dynamic Power Management is a design methodology aiming at reducing power consumption of electronic systems, by performing selective shutdown of the idle system resources. The eff...
Eui-Young Chung, Luca Benini, Alessandro Bogliolo,...
MRCO
2005
Springer
16 years 2 days ago
A Layered Model for User Context Management with Controlled Aging and Imperfection Handling
Abstract. Current research in context-awareness is biased toward low-level context information. High-level context information, however, poses several challenges to context managem...
Andreas Schmidt
SUTC
2008
IEEE
16 years 29 days ago
Security Enforcement Model for Distributed Usage Control
Recently proposed usage control concept and models extend traditional access control models with features for contemporary distributed computing systems, including continuous acce...
Xinwen Zhang, Jean-Pierre Seifert, Ravi S. Sandhu