ERCIM News, Volume 2008, 2008

Number 72, January 2008

• 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.
  

• 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

• 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?
  

• 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

• 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.
  

• 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

• 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.
  

• 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.
  

Last update Mon Feb 13 04:47:54 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page