5964 search results - page 939 / 1193 » A theory of speculative computation |
191
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
This research aims to develop a model of trust and reputation that will ensure good interactions amongst software agents in large scale open systems. The following are key drivers...
161
click to vote
CALCO
2005
Springer
16 years 8 days ago
2005
Springer
Scalars, Loops, and Free Traced and Strongly Compact Closed Categories Samson Abramsky Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, U.K. htt...
194
click to vote
CCS
2005
ACM
16 years 8 days ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
183
click to vote
DSOM
2005
Springer
16 years 8 days ago
2005
Springer
The growth in the scale of systems and networks has created many challenges for their management, especially for event processing. Our premise is that scaling event processing requ...
183
click to vote
ESA
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Modern computer graphics systems are able to render sophisticated 3D scenes consisting of millions of polygons. For most camera positions only a small collection of these...