997 search results - page 46 / 200 » Towards Computation over Communities |
166
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...
183
click to vote
DAGSTUHL
2001
15 years 7 months ago
2001
Planetary rovers are small unmanned vehicles equipped with cameras and a variety of sensors used for scientific experiments. They must operate under tight constraints over such res...
171
click to vote
MOBIHOC
2004
ACM
16 years 5 months ago
2004
ACM
In the near future, the advent of large-scale networks of mobile agents autonomously performing long-term sensing and communication tasks will be upon us. However, using controlle...
165
click to vote
EENERGY
2010
15 years 10 months ago
2010
As energy-related costs have become a major economical factor for IT infrastructures and data-centers, companies and the research community are being challenged to find better an...
144
click to vote
MFCS
2007
Springer
16 years 10 days ago
2007
Springer
The trace subshift of a cellular automaton is the subshift of all possible columns that may appear in a space-time diagram. We prove the undecidability of a rather large class of p...