715 search results - page 51 / 143 » On Run-Time Enforcement of Policies |
148
click to vote
CSE
2009
IEEE
16 years 26 days 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...
179
click to vote
ISLPED
2005
ACM
15 years 11 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...
134
click to vote
VMCAI
2010
Springer
16 years 3 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'...
151
click to vote
COLCOM
2007
IEEE
16 years 13 days 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...
155
click to vote
CNSR
2005
IEEE
15 years 11 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...