2365 search results - page 92 / 473 » All things are connected |
121
click to vote
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we study the complexity of the model-checking problem for the tree logic introduced as the basis for the query language TQL [Cardelli and Ghelli, 2001]. We define tw...
87
Voted
SAINT
2003
IEEE
15 years 6 months ago
2003
IEEE
Building on previous work of the OASIS group at SICS, this paper presents a generic peer-to-peer system for the sView personal service platform. The sView platform provides each u...
IPPS
2002
IEEE
15 years 6 months ago
2002
IEEE
The execution of distributed applications involving mobile terminals and fixed servers connected by wireless links raises the need for handling network disconnections, both invol...
138
click to vote
ISPAN
2002
IEEE
15 years 6 months ago
2002
IEEE
Routing based on a connected dominating set is a promising approach, where the search space for a route is reduced to the hosts in the set. A set is dominating if all the hosts in...
116
click to vote
FUN
2010
Springer
15 years 6 months ago
2010
Springer
The Honey-Bee game is a two-player board game that is played on a connected hexagonal colored grid, or in a generalized setting, on a connected graph with colored nodes. In a singl...