Volume 402, Number 1, July 2008

Algorithmic Aspects of Wireless Sensor Networks

• 
  Sotiris E. Nikoletseas, José D. P. Rolim: Preface. 1

Contributions

• 
  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

Trustworthy Global Computing

• 
  Ugo Montanari, Donald Sannella: Preface. 81

Contributions

• 
  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