Abstract. We consider the interpretations of notions of access control (permissions, interdictions, obligations, and user rights) as run-time properties of information systems spec...
Abstract. We propose an implementation of a quantum controlledNOT gate on the basis of dipole-dipole interacting asymmetric quantum dots. Our implementation does not require applic...
Abstract— This paper deals with nonlinear dual mode adaptive control of a redundant manipulator for a pick-andplace scenario with high acceleration (20G). For performance compari...
Guilherme Sartori Natal, Ahmed Chemori, Fran&ccedi...
Abstract. We use discrete quadratic Lyapunov functions to design controllers for a class of systems where time intervals between state measurements are longer than time intervals b...
Abstract. This contribution gives an overview of various access control strategies in use in contemporary healthcare scenarios and shows how a broad variety of respective policies ...