Sciweavers

8658 search results - page 244 / 1732
» Models of Command and Control
Sort
View
SCL
2010
95views more  SCL 2010»
15 years 5 months ago
Is measurement-based feedback still better for quantum control systems?
In this paper, we put forward a fundamental question concerning feedback control of quantum systems: Is measurement-based feedback control still better than openloop control? In c...
Bo Qi, Lei Guo
SAC
2005
ACM
16 years 3 days ago
An attribute-based access matrix model
In traditional access control models like MAC, DAC, and RBAC, authorization decisions are determined according to identities of subjects and objects, which are authenticated by a ...
Xinwen Zhang, Yingjiu Li, Divya Nalla
CADE
2007
Springer
16 years 6 months ago
A History-based Verification of Distributed Applications
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
Bruno Langenstein, Andreas Nonnengart, Georg Rock,...
PODS
2008
ACM
158views Database» more  PODS 2008»
16 years 6 months ago
Local Hoare reasoning about DOM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
Philippa Gardner, Gareth Smith, Mark J. Wheelhouse...
CW
2008
IEEE
16 years 1 months ago
Interactive Animation of Virtual Characters: Application to Virtual Kung-Fu Fighting
This paper aims at proposing a framework for animating virtual humans that can efficiently interact with real users in virtual reality (VR). If the user’s order can be modeled ...
Nicolas Pronost, Franck Multon, Qilei Li, Weidong ...