17582 search results - page 3019 / 3517 » From Distributed Sequential Computing to Distributed Paralle... |
191
click to vote
CONCUR
2007
Springer
16 years 20 days ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
170
click to vote
CONCUR
2007
Springer
16 years 20 days 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 ...
159
click to vote
CONCUR
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
156
click to vote
DCOSS
2007
Springer
16 years 20 days ago
2007
Springer
We introduce a class of anchoritic sensor networks, where communications between sensor nodes are undesirable or infeasible due to, e.g., harsh environments, energy constraints, or...
170
click to vote
DCOSS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In this paper, we study the two-tiered wireless sensor network (WSN) architecture and propose the optimal cluster association algorithm for it to maximize the overall net...