715 search results - page 51 / 143 » On Run-Time Enforcement of Policies |
CSE
2009
IEEE
14 years 3 months ago
2009
IEEE
—Multi-agent systems are difficult to develop. One reason for this is that agents are embedded in a society where all agents must agree to obey certain social norms in order for...
ISLPED
2005
ACM
14 years 2 months ago
2005
ACM
Leakage power reduction in cache memories continues to be a critical area of research because of the promise of a significant pay-off. Various techniques have been developed so fa...
VMCAI
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
COLCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—An overview of recent advances in secure peerto-peer networking is presented, toward enforcing data integrity, confidentiality, availability, and access control policie...
CNSR
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents an approach for managing access to services over presence-based communications based on the context of the situation. This paper addresses two technical challe...