4075 search results - page 698 / 815 » Modeling Distributed Algorithm Using B |
157
click to vote
STOC
2005
ACM
16 years 5 months ago
2005
ACM
This paper explores what kinds of information two parties must communicate in order to correct errors which occur in a shared secret string W. Any bits they communicate must leak ...
194
click to vote
GROUP
2010
ACM
15 years 2 months ago
2010
ACM
Previous research has motivated the idea of automatically determining when programmers are having difficulty, provided an initial algorithm (unimplemented in an actual system), an...
130
click to vote
MOBIHOC
2009
ACM
16 years 5 months ago
2009
ACM
Routing is one of the most challenging open problems in disruption-tolerant networks (DTNs) because of the shortlived wireless connectivity environment. To deal with this issue, r...
160
click to vote
JUCS
2006
15 years 4 months ago
2006
Abstract: Multiple hop routing in mobile ad hoc networks can minimize energy consumption and increase data throughput. Yet, the problem of radio interferences remain. However if th...
155
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
Activity recognition is a key component for creating intelligent, multi-agent systems. Intrinsically, activity recognition is a temporal classification problem. In this paper, we...