8810 search results - page 1546 / 1762 » Openness |
213
Voted
APPROX
2005
Springer
15 years 11 months ago
2005
Springer
The field of stochastic optimization studies decision making under uncertainty, when only probabilistic information about the future is available. Finding approximate solutions to...
160
Voted
CCA
2005
Springer
15 years 11 months ago
2005
Springer
kind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional an...
197
click to vote
CCS
2005
ACM
15 years 11 months ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
151
click to vote
CEAS
2005
Springer
15 years 11 months ago
2005
Springer
Microsoft has prosecuted a vigorous civil enforcement campaign against spammers and phishers. When initial investigation into a spam or phishing case fails to reveal the identity ...
154
click to vote
CHARME
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...