Journal: ERCIM News

Volume 2008, Issue 75

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

Volume 2008, Issue 74

0 -- 0Dimitrios S. Nikolopoulos. Set-Top Supercomputing: Scalable Software for Scientific Simulations on GameConsoles
0 -- 0Francesco Furfari, Mohammad-Reza Tazari. Realizing Ambient Assisted Living Spaces with the PERSONA Platform
0 -- 0Stefan J. Zasada, C. V. Gale, Steven Manos, Peter V. Coveney. Supercomputing in Clinical Practice
0 -- 0Bipin Kumar, Yan Delaure, Martin Crane. High-Performance Computing of Multiphase Flow
0 -- 0Zoltá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
0 -- 0James T. Murphy, Ray Walshe, Marc Devocelle. High-Performance Computing for Modelling Bacterial Communities
0 -- 0Jacek Miekisz. Games on Networks
0 -- 0Petros Koumoutsakos. Fluids and Supercomputers: The Billion Particle Era
0 -- 0Alexander Romanovsky. DEPLOY: Industrial Deployment of Advanced System Engineering Methods for High Productivity.
0 -- 0Philipp Wieder, Wolfgang Ziegler, Vincent Keller. IANOS - Efficient Use of HPC Grid Resources
0 -- 0Peter Arbenz, Ralph Müller. Microstructural Finite Element Analysis of Human Bone Structures
0 -- 0Kostas Pentikousis, Ilkka Harjula, Esa Piri, Jarno Pinola. Quantifying WiMAX Performance
0 -- 0Harry Rudin. Medical Record Keeping Made Visually Accessible
0 -- 0Maciej Szpindler, Maciej Cytowski. Numerical Weather Forecasting for Poland
0 -- 0Domenico Laforenza, Franco Maria Nardini, Fabrizio Silvestri, Gabriele Tolomei. SPRANKER: A Discovery Tool to Rank Service Providers Using Quality of Experience
0 -- 0Stanislaw Osinski, Dawid Weiss. Carrot2: Making Sense of the Haystack
0 -- 0Klaus Johannsen, Andreas Kopp, Olli Tourunen, Josva Kleist. Studying CO2 Sequestration with the Power of Supercomputing
0 -- 0Richard O. Sinnott, Campbell Millar, Asen Asenov. Supercomputing at Work in the nanoCMOS Electronics Domain
0 -- 0Olaf Schenk, Helmar Burkhart, Hema Reddy. Towards Personalized Medicine: High-Performance Computing in the Life Sciences
0 -- 0Juan Antonio Ortega, Jorge Cantón, Ana Silva, David Bosque, Francisco Velasco. Managing of Cluster Resources and Services through the Web
0 -- 0Sándor Kocsárdi, Zoltán Nagy, Árpád Csík, Péter Szolgay. Supersonic Flow Simulation on Emulated Digital Cellular Neural Networks
0 -- 0Dimitri Perrin, John Burns. Large-Scale Immune Models and Visualization
0 -- 0Martin Landrø. Quantitative Seismic Monitoring Methods
0 -- 0Jesus Luna, Manolis Marazakis, Marios D. Dikaiakos. Using Desktop Grids to Securely Store e-Health Data
0 -- 0Alessandro Curioni, Ray Walshe. Introduction: Supercomputing at Work

Volume 2008, Issue 73

0 -- 0Matteo Viale. The Continuum Hypothesis: A Mystery of Mathematics?
0 -- 0Mats Gyllenberg. Evolutionary Suicide
0 -- 0Vasilios A. Siris, Ioannis G. Askoxylakis, Marco Conti, Raffaele Bruno. Enhanced, Ubiquitous and Dependable Broadband Access using MESH Networks
0 -- 0Argiris I. Delis, Serafim Poulos, Nikolaos A. Kampanis, Costantin E. Synolakis. Mathematics Makes Waves
0 -- 0Juha Oikkonen. Mathematics is Accessible!
0 -- 0Paolo Cignoni, Massimiliano Corsini, Guido Ranzuglia. MeshLab: an Open-Source 3D Mesh Processing System
0 -- 0Jörg-Volker Peetz, Barbara Steckel, Norman Ettrich. Maths in Flood Protection
0 -- 0Christian Kubczak, Tiziana Margaria, Ralf Nagel, Bernhard Steffen. Plug and Play with FMICS-jETI: Beyond Scripting and Coding
0 -- 0María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán. Web Services for Accessing Explicit State Space Verification Tools
0 -- 0Michael Muskulus, Sjoerd Verduyn Lunel. The Analysis of Dynamical Diseases by Optimal Transportation Distances
0 -- 0Pierluigi Contucci, Cristian Giardina. Mathematics and Social Science: A Statistical Mechanics Approach to Immigration
0 -- 0Heather Ruskin, Ana Barat, Ludmila Sarbu. Novel Database for Genetic and Epigenetic Mechanisms in Colon Cancer
0 -- 0Géry Casiez, Daniel Vogel. RubberEdge: Improved Interaction with Mobile Devices via Elastic-Edged Touchpads
0 -- 0Lá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
0 -- 0Thierry Simonnet. Mathematical Tools for Securing a Telemedicine Platform: Monitoring, Communication and Storage
0 -- 0Daan Crommelin. Clouds by Chance: Improving Atmosphere Models with Random Numbers
0 -- 0Barry Koren. Computational Methods for More Fuel-Efficient Ships
0 -- 0Ivan Damgård, Tomas Toft. Trading Sugar Beet Quotas - Secure Multiparty Computation in Practice
0 -- 0Panagiotis 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
0 -- 0Olga Caprotti, Mika Seppälä. The Future of Mathematics Education in Europe
0 -- 0Umberto Amato, Maria Francesca Carfora, Paolo Colandrea. WAGRIT: A Web-based Application for Agricultural and Environmental Monitoring
0 -- 0Michael Baentsch, Peter Buhler, Reto Hermann, Frank Höring, Thorsten Kramp, Thomas Weigold. A Banking Server s Display on your Key Chain
0 -- 0András A. Benczúr, Miklós Kurucz. Who Rated What? A Recommender System Benchmark Winner Report
0 -- 0Albert Ali Salah. A Needle in the Brain
0 -- 0Mikko Kaasalainen, Lassi Päivärinta. Inverse Problems: Making the Unseen Visible with Mathematics
0 -- 0James T. Murphy, Ray Walshe, Marc Devocelle. An Agent Based Approach to Modelling Microbial Ecosystems
0 -- 0Rob van der Mei. Challenges for Societal Logistics
0 -- 0Jouko A. Väänänen, Ulrich Trottenberg. Introduction to the special theme: Maths for Everyday Life
0 -- 0Daniela Steffes-lai, Clemens-August Thole, Igor N. Nikitin, Lialia Nikitina. Interactive Optimization with DesParO
0 -- 0György Kovács, Géza Haidegger. Car-Recycling SME Network with Agent-Based Solutions
0 -- 0Kostas Pentikousis, Marilia Curado, Pedro Neves, Marcos Katz. Establishing the First European Research WiMAX Testbeds
0 -- 0Graziano Bertini, Gianfranco Lucia, Simone Lunardi, Massimo Magrini. Real-time Tracking of Sound Parameters in a Multimedia System
0 -- 0Mario Arioli, Daniel Loghin. Functional Analysis and Image Processing
0 -- 0Pascal Pellegrin, François-Olivier Devaux, Pedro Correa. JPEG 2000 - Bringing Flexibility to Digital Cinema
0 -- 0Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni. Assisting the Design of an Industrial Groupware System by Model Checking

Volume 2008, Issue 72

0 -- 0Raymond Bisdorff, Patrick Meyer. The Decision-Deck Project - Developing a Multiple Criteria Decision Analysis Software Platform
0 -- 0Dimitri Perrin, Heather J. Ruskin, Martin Crane, Ray Walshe. Epigenetic Modelling
0 -- 0Lora Aroyo. Distributed Personalization: Bridging Digital Islands in Museum and Interactive TV
0 -- 0Cyriel Minkenberg, Ronald P. Luijten, François Abel. Lightspeed Communications in Supercomputers
0 -- 0Walter Binder, Ion Constantinescu, Boi Faltings, Radu Jurca. Automating the Creation of Compound Web Applications
0 -- 0Kees van der Sluijs, Geert-Jan Houben. Tagging and the Semantic Web in Cultural Heritage
0 -- 0Kyriakos Kritikos, Dimitris Plexousakis. QoS-Based Web Service Description and Discovery
0 -- 0Lynda Hardman, Steven Pemberton. The Path to Web n+1 - Introduction to the Special Theme
0 -- 0Dimitrios Skoutas, Alkis Simitsis, Timos K. Sellis. Discovery and Selection of Services on the Semantic Web
0 -- 0Boris Motik. KAON2 - Scalable Reasoning over Ontologies with Large Data Sets
0 -- 0Raphaël Troncy. Creating, Organising and Publishing Media on the Web
0 -- 0Pirjo Näkki. Owela: Open Web Laboratory for Innovation and Design
0 -- 0Alexandre Bergel, stéphane-ducasse, Lukas Renggli. Seaside - Advanced Composition and Control Flow for Dynamic Web Applications
0 -- 0Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider. Contract-Oriented Software Development for Internet Services
0 -- 0Pablo César, Dick C. A. Bulterman, Jack Jansen. A Framework for Video Interaction with Web Browsers
0 -- 0Fabio Paternò, Carmen Santoro, Antonio Scorcia. Migratory Web User Interfaces
0 -- 0Pär Hansson, Olov Ståhl. Mobile-Based Wireless Sensor-Actuator Distributed Platform in Pervasive Gaming
0 -- 0Pierre Genevès, Nabil Layaïda. Static Analysis of XML Programs
0 -- 0Vittorio Miori, Dario Russo, Massimo Aliberti. An Informatics Research Contribution to the Domotic Take-Off
0 -- 0Pierre Senellart, Serge Abiteboul, Rémi Gilleron. Understanding the Hidden Web
0 -- 0Peter Haase, Enrico Motta, Rudi Studer. Infrastructure for Semantic Applications - NeOn Toolkit Goes Open Source
0 -- 0Ben Adida. Bridging the Clickable and Semantic Webs with RDFa
0 -- 0Lars Bröcker. The WIKINGER Project - Knowledge-Capturing Tools for Domain Experts
0 -- 0Constantina Doulgeraki, Alexandros Mourouzis, Constantine Stephanidis. EAGER: A Novel Development Toolkit for Universally Accessible Web-Based User Interfaces
0 -- 0Pär J. Ågerfalk, Jonas Sjöström. The Principle of Identity Cultivation on the Web
0 -- 0David Lewis, Kevin Feeney. Empowering Online Communities to Manage Change - How to Build Viable Organisations Online
0 -- 0Adrian Stanciulescu, Jean Vanderdonckt, Benoit M. Macq. Paving the Way of Designers - Towards the Development of Multimodal Web User Interfaces
0 -- 0Leonardo Candela, Donatella Castelli, Pasquale Pagano. gCube: A Service-Oriented Application Framework on the Grid
0 -- 0Lea Landucci, Stefano Baraldi, Nicola Torpei. Natural Interaction - A Remedy for the Technology Paradox