851 search results - page 86 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
138
Voted
FM
2006
Springer
15 years 6 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
111
Voted
SIGCOMM
2010
ACM
15 years 2 months ago
2010
ACM
Diversity is an intrinsic property of wireless networks. Recent years have witnessed the emergence of many distributed protocols like ExOR, MORE, SOAR, SOFT, and MIXIT that exploi...
148
Voted
CLEF
2008
Springer
15 years 4 months ago
2008
Springer
We describe the WebCLEF 2008 task. Similarly to the 2007 edition of WebCLEF, the 2008 edition implements a multilingual "information synthesis" task, where, for a given t...
120
Voted
PR
2008
15 years 2 months ago
2008
In this paper we address the task of writer identification of on-line handwriting captured from a whiteboard. Different sets of features are extracted from the recorded data and u...
119
Voted
TSP
2008
15 years 2 months ago
2008
A cross-layered slotted ALOHA protocol is proposed and analyzed for distributed estimation in sensor networks. Suppose that the sensors in the network record local measurements of ...