464 search results - page 88 / 93 » Authorisation Using Attributes from Multiple Authorities |
104
click to vote
ACSAC
2005
IEEE
15 years 3 months ago
2005
IEEE
Using hypervisors or virtual machine monitors for security has become very popular in recent years, and a number of proposals have been made for supporting multi-level security on...
TPHOL
2005
IEEE
15 years 3 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
105
click to vote
JAMIA
2010
14 years 4 months ago
2010
In 1997, the American Medical Informatics Association proposed a US information strategy that included a population health record (PopHR). Despite subsequent progress on the conce...
IPSN
2010
Springer
15 years 4 months ago
2010
Springer
Troubleshooting unresponsive sensor nodes is a significant challenge in remote sensor network deployments. This paper introduces the tele-diagnostic powertracer, an in-situ troub...
CI
2007
14 years 9 months ago
2007
In this paper we present a computational approach to developing effective training systems for virtual simulation environments. In particular, we focus on a Naval simulation syste...