2024 search results - page 85 / 405 » A Logic Based Approach for Dynamic Access Control |
129
click to vote
FGCS
2008
15 years 3 months ago
2008
This paper summarises ongoing research and recent results on the development of flexible access control infrastructure for complex resource provisioning in Grid-based collaborativ...
130
click to vote
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
Kernel-based tracking approaches have proven to be more efficient in computation compared to other tracking approaches such as particle filtering. However, existing kernel-based...
120
Voted
GRAPHICSINTERFACE
2000
15 years 4 months ago
2000
This paper presents an original solution to the camera control problem in a virtual environment. Our objective is to present a general framework that allows the automatic control ...
111
click to vote
ENTCS
2008
15 years 3 months ago
2008
The interactive theorem prover developed in the KeY project, which implements a sequent calculus for JavaCard Dynamic Logic (JavaCardDL) is based on taclets. Taclets are lightweig...
143
click to vote
CCIA
2008
Springer
15 years 5 months ago
2008
Springer
Since electronic and open environments became a reality, computational trust and reputation models have attracted increasing interest in the field of multiagent systems (MAS). Some...