470 search results - page 28 / 94 » From evidence-based policy making to policy analytics |
92
Voted
VR
2002
IEEE
15 years 5 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...
127
click to vote
CADE
2002
Springer
16 years 26 days 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...
80
Voted
KI
2007
Springer
15 years 6 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...
149
Voted
CSFW
2010
IEEE
15 years 4 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...
91
Voted
IWMMDBMS
1998
15 years 1 months 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...