default search action
Computer Science Review, Volume 5
Volume 5, Number 1, February 2011
- Josep Díaz, Jaroslav Nesetril:
Introduction. 1 - Wide Hogenhout:
Foundational research on networks of tiny artefacts. 2-3 - Ioannis Chatzigiannakis, Paul G. Spirakis:
Introduction to the special issue on foundations of adaptive networked societies of tiny artefacts. 4-6 - Carme Àlvarez, Ioannis Chatzigiannakis, Amalia Duch, Joaquim Gabarró, Othon Michail, Maria J. Serna, Paul G. Spirakis:
Computational models for networks of tiny artifacts: A survey. 7-25 - Luca Becchetti, Ioannis Chatzigiannakis, Yiannis Giannakopoulos:
Streaming techniques and data aggregation in networks of tiny artefacts. 27-46 - Carlo Blundo, Angelo De Caro, Shlomi Dolev, Niv Gilboa, Marina Kopeetsky, Giuseppe Persiano, Paul G. Spirakis:
Innovative approaches for security of small artefacts. 47-55 - Bastian Degener, Sándor P. Fekete, Barbara Kempkes, Friedhelm Meyer auf der Heide:
A survey on relay placement with runtime and approximation guarantees. 57-68 - Shlomi Dolev, Elad Michael Schiller, Paul G. Spirakis, Philippas Tsigas:
Robust and scalable middleware for selfish-computer systems. 69-84 - Tobias Baumgartner, Ioannis Chatzigiannakis, Sándor P. Fekete, Stefan Fischer, Christos Koninis, Alexander Kröller, Daniela Krüger, Georgios Mylonas, Dennis Pfisterer:
Distributed algorithm engineering for networks of tiny artifacts. 85-102 - Ioannis Chatzigiannakis, Georgios Mylonas, Andrea Vitaletti:
Urban pervasive applications: Challenges, scenarios and case studies. 103-118
Volume 5, Number 2, May 2011
- Ross M. McConnell, Kurt Mehlhorn, Stefan Näher, Pascal Schweitzer:
Certifying algorithms. 119-161 - Kristin Y. Rozier:
Linear Temporal Logic Symbolic Model Checking. 163-203
- Dae-Won Kim:
Book review. 205-208
Volume 5, Number 3, August 2011
- Alexis C. Kaporis, Paul G. Spirakis:
Selfish splittable flows and NP-completeness. 209-228 - Armando Castañeda, Sergio Rajsbaum, Michel Raynal:
The renaming problem in shared memory systems: An introduction. 229-251 - Maria João Frade, Jorge Sousa Pinto:
Verification conditions for source-level imperative programs. 252-277
Volume 5, Number 4, November 2011
- Rodney G. Downey, Dimitrios M. Thilikos:
Confronting intractability via parameters. 279-317 - Dmitri Moltchanov:
Service quality in P2P streaming systems. 319-340
- Josep Díaz:
Cris Moore, Stephen Mertens, , The Nature of Computation (2011) Oxford UP. 341-345
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.