Sciweavers

183 search results - page 22 / 37
» Safety analysis of usage control authorization models
Sort
View
AUTOMATICA
2006
92views more  AUTOMATICA 2006»
13 years 8 months ago
A speed-sensorless indirect field-oriented control for induction motors based on high gain speed estimation
The authors design a new speed sensorless output feedback control for the full-order model of induction motors with unknown constant load torque, which guarantees local asymptotic...
Marcello Montanari, Sergei Peresada, Andrea Tilli
SEFM
2005
IEEE
14 years 2 months ago
Precise Analysis of Memory Consumption using Program Logics
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
Gilles Barthe, Mariela Pavlova, Gerardo Schneider
CHI
2006
ACM
14 years 9 months ago
The springboard: multiple modes in one spring-loaded control
Modes allow a few inputs to invoke many operations, yet if a user misclassifies or forgets the state of a system, modes can result in errors. Spring-loaded modes (quasimodes) main...
Edward Cutrell, François Guimbretièr...
FAST
2007
13 years 10 months ago
Architectures for Controller Based CDP
Continuous Data Protection (CDP) is a recent storage technology which enables reverting the state of the storage to previous points in time. We propose four alternative architectu...
Guy Laden, Paula Ta-Shma, Eitan Yaffe, Michael Fac...
EUC
2008
Springer
13 years 10 months ago
Privacy Engine for Context-Aware Enterprise Application Services
Satisfying the varied privacy preferences of individuals, while exposing context data to authorized applications and individuals, remains a major challenge for context-aware compu...
Marion Blount, John Davis, Maria Ebling, William F...