1030 search results - page 79 / 206 » Happenings |
161
click to vote
WINE
2009
Springer
16 years 28 days ago
2009
Springer
A potential downside of prediction markets is that they may incentivize agents to take undesirable actions in the real world. For example, a prediction market for whether a terrori...
158
click to vote
ERCIMDL
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. All search happens in a particular context—such as the particular collection of a digital library, its associated search tasks, and its associated users. Information re...
148
click to vote
FSTTCS
2009
Springer
16 years 27 days ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
164
click to vote
ISEUD
2009
Springer
16 years 26 days ago
2009
Springer
End-user programming has become ubiquitous, so much so that there are more end-user programmers today than there are professional programmers. End-user programming empowers—but t...
183
click to vote
NORDSEC
2009
Springer
16 years 26 days ago
2009
Springer
Runtime enforcement is a common mechanism for ensuring that program executions adhere to constraints specified by a security policy. It is based on two simple ideas: the enforceme...