2468 search results - page 217 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
140
click to vote
CISC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Key privacy is a notion regarding the privacy of the owner of a public key, which has important applications in building (receiver) anonymous channels, or privacy-enhance...
131
click to vote
PODS
2005
ACM
16 years 4 months ago
2005
ACM
We consider query optimization techniques for data intensive P2P applications. We show how to adapt an old technique from deductive databases, namely Query-Sub-Query (QSQ), to a s...
169
Voted
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
— We propose to classify the behaviors of a mobile robot thanks to topological methods as an alternative to metric ones. To do so, we adapt an analysis scheme from Physics of non...
173
click to vote
IJITN
2010
15 years 1 months ago
2010
With the proliferation of inexpensive cameras and the availability of high-speed wired and wireless networks, systems of distributed cameras are becoming an enabling technology fo...
136
click to vote
EDOC
2004
IEEE
15 years 7 months ago
2004
IEEE
Service-oriented architectures and Web service infrastructure provide the ideal framework for interconnecting organizations and for defining distributed business applications. The...