857 search results - page 143 / 172 » A Formal Framework for Adaptive Access Control Models |
ENTCS
2006
13 years 7 months ago
2006
It is reasonable to assume that quantum computations take place under the control of the classical world. For modelling this standard situation, we introduce a Classically-control...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
The problem of task assignment naturally arises in multiagent multitask systems, where an optimal matching of agents and tasks is sought. This problem is a combinatorial optimizati...
CBSQ
2003
Springer
14 years 25 days ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
MICCAI
2006
Springer
14 years 8 months ago
2006
Springer
Spinal cord analysis is an important problem relating to the study of various neurological diseases. We present a novel approach to spinal cord segmentation in magnetic resonance i...
CRYPTO
2010
Springer
13 years 8 months ago
2010
Springer
Secure two-party authentication and key exchange are fundamental problems. Traditionally, the parties authenticate each other by means of their identities, using a public-key infr...