4118 search results - page 457 / 824 » Mechanisms for usage control |
202
click to vote
ICPP
2002
IEEE
16 years 17 days ago
2002
IEEE
Grid computing systems that have been the focus of much research activities in recent years provide a virtual framework for controlled sharing of resources across institutional bo...
202
click to vote
SYSTOR
2010
ACM
16 years 13 days ago
2010
ACM
Virtual machine monitors, especially when used for server consolidation, need to enforce a predefined sharing of resources among the running virtual machines. We propose a new me...
191
click to vote
HYBRID
2001
Springer
16 years 3 days ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
159
click to vote
SIGECOM
2000
ACM
15 years 12 months ago
2000
ACM
d Abstract) Robert M. Arlein Ben Jai Markus Jakobsson Fabian Monrose Michael K. Reiter Information Sciences Research Center Bell Labs, Lucent Technologies Murray Hill, NJ, USA We ...
195
click to vote
ICLP
1999
Springer
15 years 12 months ago
1999
Springer
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...