8810 search results - page 1564 / 1762 » Open. Closed. Open |
226
click to vote
APPROX
2005
Springer
16 years 2 days 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...
205
click to vote
CCS
2005
ACM
16 years 1 days 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...
162
click to vote
CEAS
2005
Springer
16 years 1 days 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 ...
162
click to vote
CHARME
2005
Springer
16 years 1 days 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...
173
click to vote
CICLING
2005
Springer
16 years 1 days ago
2005
Springer
We are presenting a description of the UNL initiative based on the Universal Networking Language (UNL). This language was conceived to be the support of the multilingual communicat...