default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 402
Volume 402, Number 1, July 2008
- Sotiris E. Nikoletseas, José D. P. Rolim:
Preface. 1
- Alan A. Bertossi, Stephan Olariu, Maria Cristina Pinotti
:
Efficient corona training protocols for sensor networks. 2-15 - Jacek Cichon, Miroslaw Kutylowski, Marcin Zawada:
Adaptive initialization algorithm for ad hoc radio networks with carrier sensing. 16-28 - Magnús M. Halldórsson, Takeshi Tokuyama:
Minimizing interference of a wireless ad-hoc network in a plane. 29-42 - Davide Bilò, Guido Proietti:
On the complexity of minimizing interference in ad-hoc and sensor networks. 43-55 - Sotiris E. Nikoletseas, Paul G. Spirakis:
Efficient sensor network design for continuous monitoring of moving objects. 56-66 - Paola Flocchini, Giuseppe Prencipe, Nicola Santoro:
Self-deployment of mobile sensors on a ring. 67-80
Volume 402, Numbers 2-3, August 2008
- Ugo Montanari, Donald Sannella:
Preface. 81
- Aslan Askarov, Daniel Hedin, Andrei Sabelfeld:
Cryptographically-masked flows. 82-101 - Roberto Bruni, Ivan Lanese:
Parametric synchronizations in mobile nominal calculi. 102-119 - Luís Caires:
Spatial-behavioral types for concurrency and resource control in distributed systems. 120-141 - Ioannis Caragiannis, Christos Kaklamanis, Panagiotis Kanellopoulos, Evi Papaioannou:
Scheduling to maximize participation. 142-155 - Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca:
Security types for dynamic web data. 156-171 - Reiner Hähnle, Jing Pan, Philipp Rümmer, Dennis Walter:
Integration of a security type system into a program logic. 172-189 - Nicolas Hanusse, Dimitris J. Kavvadias, Evangelos Kranakis, Danny Krizanc:
Memoryless search algorithms in a network with faulty advice. 190-198 - Damien Pous:
Using bisimulation proof techniques for the analysis of distributed abstract machines. 199-220 - Francesco Silvestri:
On the limits of cache-oblivious rational permutations. 221-233 - Ian Wehrman, David Kitchin, William R. Cook, Jayadev Misra:
A timed semantics of Orc. 234-248
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-02 18:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
