470 search results - page 28 / 94 » From evidence-based policy making to policy analytics |
VR
2002
IEEE
14 years 3 months ago
2002
IEEE
The availability of inexpensive and powerful graphics cards as well as fast Internet connections make Networked Virtual Environments viable for millions of users and many new appl...
CADE
2002
Springer
14 years 11 months ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...
KI
2007
Springer
14 years 5 months ago
2007
Springer
Readylog is a logic-based agent programming language and combines many important features from other Golog dialects. One of the features of Readylog is to make use of decision-theo...
CSFW
2010
IEEE
14 years 2 months ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
IWMMDBMS
1998
14 years 9 days ago
1998
Recent research has shown that near optimal performance can be achieved by adaptive block replacement policies that use user-level hints regarding the block reference pattern. How...