Sciweavers

3979 search results - page 238 / 796
» Wild control operators
Sort
View
JAIR
2010
160views more  JAIR 2010»
15 years 5 months ago
Reasoning About the Transfer of Control
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
Wiebe van der Hoek, Dirk Walther, Michael Wooldrid...
SOUPS
2009
ACM
16 years 1 months ago
How users use access control
Existing technologies for file sharing differ widely in the granularity of control they give users over who can access their data; achieving finer-grained control generally requ...
Diana K. Smetters, Nathan Good
SACMAT
2005
ACM
16 years 4 days ago
Peer-to-peer access control architecture using trusted computing technology
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
Ravi S. Sandhu, Xinwen Zhang
WORDS
2003
IEEE
15 years 12 months ago
Foucault's Pendulum in the Distributed Control Lab
The ’Distributed Control Lab’ [6] at Hasso-PlattnerInstitute, University of Potsdam allows experimentation with a variety of physical equipment via the web (intra and internet...
Andreas Rasche, Peter Tröger, Michael Dirska,...
AUTOMATICA
2007
142views more  AUTOMATICA 2007»
15 years 6 months ago
Lyapunov-based switching control of nonlinear systems using high-gain observers
Abstract— We consider dynamic output feedback practical stabilization of uniformly observable nonlinear systems, based on high-gain observers with saturation. We assume that unce...
Leonid B. Freidovich, Hassan K. Khalil