2575 search results - page 245 / 515 » Providing security with insecure systems |
157
click to vote
DRM
2007
Springer
16 years 20 days ago
2007
Springer
provides a very brief overview of some of the main points. References are given to my papers, where those points are explained in more detail, and citations are provided to the ext...
207
click to vote
SYSTOR
2010
ACM
15 years 11 months ago
2010
ACM
Operating system (OS) virtualization can provide a number of important benefits, including transparent migration of applications, server consolidation, online OS maintenance, and...
191
click to vote
E4MAS
2006
Springer
15 years 10 months ago
2006
Springer
Environment is an essential part of any multi-agent system (MAS), since it provides the surrounding conditions for agents to exist. For some sort of systems, the environment can be...
175
click to vote
SAC
2006
ACM
16 years 14 days ago
2006
ACM
In this paper we propose a recommender system that helps users to navigate though the Web by providing dynamically generated links to pages that have not yet been visited and are ...
143
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'...