default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDERCIM 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, Benoît 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 Giardinà:
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, Marília 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 Morente:
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 Delauré, 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 B. 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. - 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.
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.
last updated on 2025-12-14 23:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
