2930 search results - page 479 / 586 » A Constructive Approach to the Design of Distributed Systems |
151
click to vote
NDSS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
150
click to vote
USITS
2003
15 years 6 months ago
2003
In this paper, we argue that a broad range of large-scale network services would benefit from a scalable mechanism for delivering state about a random subset of global participan...
162
Voted
AAAI
2011
14 years 5 months ago
2011
Important ecological phenomena are often observed indirectly. Consequently, probabilistic latent variable models provide an important tool, because they can include explicit model...
234
click to vote
GIS
2005
ACM
16 years 6 months ago
2005
ACM
Recent research literature on sensor network databases has focused on finding ways to perform in-network aggregation of sensor readings to reduce the message cost. However, with t...
154
click to vote
CGI
2006
IEEE
15 years 11 months ago
2006
IEEE
It has been technically challenging to effectively model and simulate elastic deformation of spline-based, thin-shell objects of complicated topology. This is primarily because tra...