2468 search results - page 404 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
129
click to vote
SECON
2008
IEEE
15 years 10 months ago
2008
IEEE
—The novel cross-layer protocol Breath for wireless sensor networks is designed, implemented, and experimentally evaluated. The Breath protocol is based on randomized routing, MA...
119
click to vote
HAPTICS
2003
IEEE
15 years 8 months ago
2003
IEEE
Based on a distributed architecture for real-time collection and broadcast of haptic information to multiple participants, heterogeneous haptic devices (the PHANToM and the CyberG...
125
Voted
SC
2003
ACM
15 years 8 months ago
2003
ACM
A Grid Information Service (GIS) stores information about the resources of a distributed computing environment and answers questions about it. We are developing RGIS, a GIS system...
161
click to vote
SIGMOD
2010
ACM
15 years 3 months ago
2010
ACM
Most previous research on privacy-preserving data publishing, based on the k-anonymity model, has followed the simplistic approach of homogeneously giving the same generalized val...
185
Voted
ICALP
2011
Springer
14 years 7 months ago
2011
Springer
We give new algorithms for a variety of randomly-generated instances of computational problems using a linearization technique that reduces to solving a system of linear equations...