1973 search results - page 287 / 395 » Gossip based streaming |
117
click to vote
ASM
2008
ASM
15 years 5 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
151
click to vote
CONEXT
2007
ACM
15 years 5 months ago
2007
ACM
Wireless Mesh Networks (WMNs) are based on packet forwarding and therefore require efficient multi-hop protocols for their deployment. Toward this objective, we study the flow o...
117
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Extracting automatically the semantics from visual data is a real challenge. We describe in this paper how recent work in cognitive vision leads to significative results in activi...
137
click to vote
NETWORKING
2007
15 years 5 months ago
2007
This paper addresses the optimal rate allocation problem in overlay content distribution for efficient utilization of limited bandwidths. We systematically present a series of opti...
127
click to vote
CLIMA
2004
15 years 5 months ago
2004
Apriori Stochastic Dependency Detection (ASDD) is an algorithm for fast induction of stochastic logic rules from a database of observations made by an agent situated in an environm...