2924 search results - page 463 / 585 » Lower Bounds in Distributed Computing |
134
click to vote
LOGCOM
2006
15 years 4 months ago
2006
The Alternating-time Temporal Logic (ATL) of Alur, Henzinger, and Kupferman is being increasingly widely applied in the specification and verification of open distributed systems ...
141
click to vote
ICNP
2009
IEEE
15 years 11 months ago
2009
IEEE
—In this paper, we describe oCast, an energy-optimal multicast routing protocol for wireless sensor networks. The general minimum-energy multicast problem is NP-hard. Intermitten...
150
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last decade [21,20,3,15,12,19,14]. The high expressive power of MSCs renders many basic ...
138
click to vote
SIROCCO
2000
15 years 5 months ago
2000
: We consider a well known distributed coloring game played on a simple connected graph: initially, each vertex is colored black or white; at each round, each vertex simultaneously...
127
click to vote
GRID
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we report experience in the use of computational grids in the domain of natural language processing, particularly in the area of information extraction, to create qu...