2838 search results - page 145 / 568 » Verifying Controlled Components |
EDBT
2006
ACM
14 years 10 months ago
2006
ACM
In authorization-transparent access control, users formulate their queries against the database schema rather than against authorization views that transform and hide data. The Tru...
COMCOM
2008
13 years 10 months ago
2008
This article presents an integrated admission control and routing mechanism for multi-rate wireless mesh networks. Admission control depends on precise estimates of available band...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
— In this paper we present four methods for the identification of the inertial parameters of the load of a manipulator. The knowledge of the values of these parameters can be use...
CAI
2006
Springer
13 years 10 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
IDMS
2001
Springer
14 years 2 months ago
2001
Springer
This paper uses analysis and experiments to study the minimal buffering requirements of congestion controlled multimedia applications. Applications in the Internet must use congest...