Number 72, January 2008

Section Special Theme: The Future Web

• 
  Lynda Hardman, Steven Pemberton: The Path to Web n+1 - Introduction to the Special Theme.
• 
  Boris Motik: KAON2 - Scalable Reasoning over Ontologies with Large Data Sets.
• 
  Lars Bröcker: The WIKINGER Project - Knowledge-Capturing Tools for Domain Experts.
• 
  Kees van der Sluijs, Geert-Jan Houben: Tagging and the Semantic Web in Cultural Heritage.
• 
  Peter Haase, Enrico Motta, Rudi Studer: Infrastructure for Semantic Applications - NeOn Toolkit Goes Open Source.
• 
  Ben Adida: Bridging the Clickable and Semantic Webs with RDFa.
• 
  Pablo César, Dick C. A. Bulterman, Jack Jansen: A Framework for Video Interaction with Web Browsers.
• 
  Raphaël Troncy: Creating, Organising and Publishing Media on the Web.
• 
  David Lewis, Kevin Feeney: Empowering Online Communities to Manage Change - How to Build Viable Organisations Online.
• 
  Pirjo Näkki: Owela: Open Web Laboratory for Innovation and Design.
• 
  Pär J. Ågerfalk, Jonas Sjöström: The Principle of Identity Cultivation on the Web.
• 
  Pierre Senellart, Serge Abiteboul, Rémi Gilleron: Understanding the Hidden Web.
• 
  Pierre Genevès, Nabil Layaïda: Static Analysis of XML Programs.
• 
  Alexandre Bergel, Stéphane Ducasse, Lukas Renggli: Seaside - Advanced Composition and Control Flow for Dynamic Web Applications.
• 
  Constantina Doulgeraki, Alexandros Mourouzis, Constantine Stephanidis: EAGER: A Novel Development Toolkit for Universally Accessible Web-Based User Interfaces.
• 
  Fabio Paternò, Carmen Santoro, Antonio Scorcia: Migratory Web User Interfaces.
• 
  Adrian Stanciulescu, Jean Vanderdonckt, Benoit M. Macq: Paving the Way of Designers - Towards the Development of Multimodal Web User Interfaces.
• 
  Lora Aroyo: Distributed Personalization: Bridging Digital Islands in Museum and Interactive TV.
• 
  Dimitrios Skoutas, Alkis Simitsis, Timos K. Sellis: Discovery and Selection of Services on the Semantic Web.
• 
  Kyriakos Kritikos, Dimitris Plexousakis: QoS-Based Web Service Description and Discovery.
• 
  Walter Binder, Ion Constantinescu, Boi Faltings, Radu Jurca: Automating the Creation of Compound Web Applications.

Section R&D and Technology Transfer

• 
  Dimitri Perrin, Heather J. Ruskin, Martin Crane, Ray Walshe: Epigenetic Modelling.
• 
  Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider: Contract-Oriented Software Development for Internet Services.
• 
  Leonardo Candela, Donatella Castelli, Pasquale Pagano: gCube: A Service-Oriented Application Framework on the Grid.
• 
  Raymond Bisdorff, Patrick Meyer: The Decision-Deck Project - Developing a Multiple Criteria Decision Analysis Software Platform.
• 
  Cyriel Minkenberg, Ronald P. Luijten, François Abel: Lightspeed Communications in Supercomputers.
• 
  Pär Hansson, Olov Ståhl: Mobile-Based Wireless Sensor-Actuator Distributed Platform in Pervasive Gaming.
• 
  Vittorio Miori, Dario Russo, Massimo Aliberti: An Informatics Research Contribution to the Domotic Take-Off.
• 
  Lea Landucci, Stefano Baraldi, Nicola Torpei: Natural Interaction - A Remedy for the Technology Paradox.

Number 73, April 2008

Section Special Theme: Mathematics for Everyday Life

• 
  Jouko A. Väänänen, Ulrich Trottenberg: Introduction to the special theme: Maths for Everyday Life.
• 
  Mikko Kaasalainen, Lassi Päivärinta: Inverse Problems: Making the Unseen Visible with Mathematics.
• 
  Albert Ali Salah: A Needle in the Brain.
• 
  Thierry Simonnet: Mathematical Tools for Securing a Telemedicine Platform: Monitoring, Communication and Storage.
• 
  Michael Muskulus, Sjoerd Verduyn Lunel: The Analysis of Dynamical Diseases by Optimal Transportation Distances.
• 
  Mats Gyllenberg: Evolutionary Suicide.
• 
  Mario Arioli, Daniel Loghin: Functional Analysis and Image Processing.
• 
  Pascal Pellegrin, François-Olivier Devaux, Pedro Correa: JPEG 2000 - Bringing Flexibility to Digital Cinema.
• 
  Umberto Amato, Maria Francesca Carfora, Paolo Colandrea: WAGRIT: A Web-based Application for Agricultural and Environmental Monitoring.
• 
  Argiris I. Delis, Serafim Poulos, Nikolaos A. Kampanis, Costantin E. Synolakis: Mathematics Makes Waves.
• 
  Jörg-Volker Peetz, Barbara Steckel, Norman Ettrich: Maths in Flood Protection.
• 
  Daan Crommelin: Clouds by Chance: Improving Atmosphere Models with Random Numbers.
• 
  Panagiotis T. Nastos, Nikolaos A. Kampanis, George Kochiadakis, Panagiotis Vardas, Kostas I. Strataridakis: Maths Improves Quality of Life: An Early-Warning System for Environmental Effects on Public Health.
• 
  Barry Koren: Computational Methods for More Fuel-Efficient Ships.
• 
  Rob van der Mei: Challenges for Societal Logistics.
• 
  Daniela Steffes-lai, Clemens-August Thole, Igor N. Nikitin, Lialia Nikitina: Interactive Optimization with DesParO.
• 
  András A. Benczúr, Miklós Kurucz: Who Rated What? A Recommender System Benchmark Winner Report.
• 
  Ivan Damgård, Tomas Toft: Trading Sugar Beet Quotas - Secure Multiparty Computation in Practice.
• 
  Pierluigi Contucci, Cristian Giardina: Mathematics and Social Science: A Statistical Mechanics Approach to Immigration.
• 
  Olga Caprotti, Mika Seppälä: The Future of Mathematics Education in Europe.
• 
  Juha Oikkonen: Mathematics is Accessible!
• 
  Matteo Viale: The Continuum Hypothesis: A Mystery of Mathematics?

Section R&D and Technology Transfer

• 
  Géraldine Cabannes: Bridging the Gap between Distributed and Multi-Core Computing, and SOA and Grid Computing.
• 
  Graziano Bertini, Gianfranco Lucia, Simone Lunardi, Massimo Magrini: Real-time Tracking of Sound Parameters in a Multimedia System.
• 
  María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán: Web Services for Accessing Explicit State Space Verification Tools.
• 
  Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni: Assisting the Design of an Industrial Groupware System by Model Checking.
• 
  Heather J. Ruskin, Ana Barat, Ludmila Sarbu: Novel Database for Genetic and Epigenetic Mechanisms in Colon Cancer.
• 
  Vasilios A. Siris, Ioannis G. Askoxylakis, Marco Conti, Raffaele Bruno: Enhanced, Ubiquitous and Dependable Broadband Access using MESH Networks.
• 
  James T. Murphy, Ray Walshe, Marc Devocelle: An Agent Based Approach to Modelling Microbial Ecosystems.
• 
  Paolo Cignoni, Massimiliano Corsini, Guido Ranzuglia: MeshLab: an Open-Source 3D Mesh Processing System.
• 
  György Kovács, Géza Haidegger: Car-Recycling SME Network with Agent-Based Solutions.
• 
  Kostas Pentikousis, Marilia Curado, Pedro Neves, Marcos D. Katz: Establishing the First European Research WiMAX Testbeds.
• 
  László Kovács, Máté Pataki, Tamás Füzessy, Zoltán Tóth: Towards the Creation of a Robust Search Index for Digitalized Documents.
• 
  Christian Kubczak, Tiziana Margaria, Ralf Nagel, Bernhard Steffen: Plug and Play with FMICS-jETI: Beyond Scripting and Coding.
• 
  Michael Baentsch, Peter Buhler, Reto Hermann, Frank Höring, Thorsten Kramp, Thomas Weigold: A Banking Server's Display on your Key Chain.
• 
  Géry Casiez, Daniel Vogel: RubberEdge: Improved Interaction with Mobile Devices via Elastic-Edged Touchpads.

Number 74, July 2008

Section Special Theme: Supercomputing at Work

• 
  Alessandro Curioni, Ray Walshe: Introduction: Supercomputing at Work.
• 
  Martin Landrø: Quantitative Seismic Monitoring Methods.
• 
  Klaus Johannsen, Andreas Kopp, Olli Tourunen, Josva Kleist: Studying CO2 Sequestration with the Power of Supercomputing.
• 
  Maciej Szpindler, Maciej Cytowski: Numerical Weather Forecasting for Poland.
• 
  Ray Mc Grath: Supercomputing: Weathering a Changing Environment.
• 
  Richard O. Sinnott, Campbell Millar, Asen Asenov: Supercomputing at Work in the nanoCMOS Electronics Domain.
• 
  Domenico Laforenza, Franco Maria Nardini, Fabrizio Silvestri, Gabriele Tolomei: SPRANKER: A Discovery Tool to Rank Service Providers Using Quality of Experience.
• 
  Juan Antonio Ortega, Jorge Cantón, Ana Silva, David Bosque, Francisco Velasco: Managing of Cluster Resources and Services through the Web.
• 
  Zoltán Nagy, László Kék, Zoltán Kincses, András Kiss, Péter Szolgay: Exploitation of Cell Multi-Processor Array in Solution of Spatio-Temporal Dynamics.
• 
  Philipp Wieder, Wolfgang Ziegler, Vincent Keller: IANOS - Efficient Use of HPC Grid Resources.
• 
  Olaf Schenk, Helmar Burkhart, Hema Reddy: Towards Personalized Medicine: High-Performance Computing in the Life Sciences.
• 
  Peter Arbenz, Ralph Müller: Microstructural Finite Element Analysis of Human Bone Structures.
• 
  Jesus Luna, Manolis Marazakis, Marios D. Dikaiakos: Using Desktop Grids to Securely Store e-Health Data.
• 
  Stefan J. Zasada, C. V. Gale, Steven Manos, Peter V. Coveney: Supercomputing in Clinical Practice.
• 
  Dimitri Perrin, John Burns: Large-Scale Immune Models and Visualization.
• 
  James T. Murphy, Ray Walshe, Marc Devocelle: High-Performance Computing for Modelling Bacterial Communities.
• 
  Richard Blake: Harnessing the Power of Supercomputing.
• 
  Petros Koumoutsakos: Fluids and Supercomputers: The Billion Particle Era.
• 
  Sándor Kocsárdi, Zoltán Nagy, Árpád Csík, Péter Szolgay: Supersonic Flow Simulation on Emulated Digital Cellular Neural Networks.
• 
  Bipin Kumar, Yan Delaure, Martin Crane: High-Performance Computing of Multiphase Flow.
• 
  Dimitrios S. Nikolopoulos: Set-Top Supercomputing: Scalable Software for Scientific Simulations on GameConsoles.

Section R&D and Technology Transfer

• 
  Kashif Din: Enhancing Traffic Safety by Integrating Real-Time Infrastructure and Vehicle Data in a Cooperative System.
• 
  Francesco Furfari, Mohammad-Reza Tazari: Realizing Ambient Assisted Living Spaces with the PERSONA Platform.
• 
  Harry Rudin: Medical Record Keeping Made Visually Accessible.
• 
  Jacek Miekisz: Games on Networks.
• 
  Stanislaw Osinski, Dawid Weiss: Carrot2: Making Sense of the Haystack.
• 
  Kostas Pentikousis, Ilkka Harjula, Esa Piri, Jarno Pinola: Quantifying WiMAX Performance.
• 
  Alexander Romanovsky: DEPLOY: Industrial Deployment of Advanced System Engineering Methods for High Productivity..

Number 75, October 2008

Section Special Theme: Safety Critical Software

• 
  Pedro Merino, Erwin Schoitsch: Introduction to the Special Theme "Safety-Critical Software".
• 
  Gerard J. Holzmann: Software Safety and Rocket Science.
• 
  Darren D. Cofer, Michael W. Whalen, Steven P. Miller: Model-Checking of Safety-Critical Software for Avionics.
• 
  Sven Söhnlein, Francesca Saglietti: Software Reliability Assessment by Statistical Analysis of Operational Experience.
• 
  Michael D. Harrison, José Creissac Campos: Analysing Human Aspects of Safety-Critical Software.
• 
  Alexandre David, Brian Nielsen: Model-Driven Development of Embedded Real-Time Systems.
• 
  Brian Nielsen: Quasimodo.
• 
  Christophe Ponsard, Philippe Massonet, Gautier Dallons: From Rigorous Requirements Engineering to Formal System Design.
• 
  Chris W. Johnson: Modelling the Role of Software in the Propagation of Failures across Infrastructures.
• 
  Wolfgang Herzner, Martin Schlager, György Csertán, Bernhard Huber, Thierry Le Sergent, Erwin Schoitsch, Rupert Schlick: Model-Based Development of Distributed Embedded Real-Time Systems.
• 
  Tomás Bures, Petr Hnetynka: Safe Systems with Software Components in SOFA 2.
• 
  Francesco Flammini, Nicola Mazzocca, Valeria Vittorini: New Paradigms and Tools for High-Assurance Systems Modelling.
• 
  J. Francisco Chicano, Enrique Alba: Testing Concurrent Software with Ants.
• 
  Bernard Berthomieu, Hubert Garavel, Frédéric Lang, François Vernadat: Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE.
• 
  Jeanine Souquières: A Component-Based Approach for the Verification of Safety-Critical Software.
• 
  Martin Leucker: Checking and Enforcing Safety: Runtime Verification and Runtime Reflection.
• 
  Sjaak Smetsers, Marko C. J. D. van Eekelen: LaQuSo: Using Formal Methods for Analysis of Safety-Cr.
• 
  Marco Bakera, Tiziana Margaria: The SHADOWS Story on Implementation of Self-Healing Systems.
• 
  Raimund Kirner, Susanne Kandl: Test Coverage Analysis and Preservation for Requirements-Based Testing.
• 
  Wolfgang Herzner, Rupert Schlick, Manfred Gruber: A Step towards Generating Efficient Test Cases - the Project MOGENTES.
• 
  Nicolas Guelfi, Benoît Ries: SESAME: A Model-Driven Test Selection Process for Safety-Critical Embedded Systems.
• 
  Erwin Schoitsch, Laila Gide: ProSE - Promoting Standardization for Embedded Systems.
• 
  Alain Girault, Hamoudi Kalla: Bicriteria Multi-Processor Static Scheduling.
• 
  Fabio Martinelli, Fabio Massacci, Paolo Mori, Christian Schaefer, Thomas Walter: Enhancing Java ME Security Support with Resource Usage Monitoring.
• 
  Andreas Gerstinger, Heinz Kantz, Christoph Scherrer: TAS Control Platform: A Platform for Safety-Critical Railway Applications.
• 
  Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi: Experimenting with Diversity in the Formal Development of Railway Signalling Systems.
• 
  Antonio Bucchiarone, Stefania Gnesi, Gianluca Trentanni, Alessandro Fantechi: Evaluation of Natural Language Requirements in the MODCONTROL Project.
• 
  Tamás Bartha, István Varga: Development of Safety Software for the Paks Nuclear Power Plant.

Section R&D and Technology Transfer

• 
  Jim Dowling, Seif Haridi: Developing a Distributed Electronic Health-Record Store for India.
• 
  Catherine E. Chronaki: Epidemic Intelligence: Satellite-Enabled Applications for Health Early Warning Systems.
• 
  Yvonne Havertz: Novel Drug Discovery with SIMDAT Grid Technology.
• 
  Kostas Pentikousis, Carmen Martinez-Carrillo: Mediated Collaborative Learning.