Formal Methods for Industrial Critical Systems: A Survey of Applications
Stefania Gnesi and Tiziana Margaria Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the...
View ArticleDigital Stereoscopy – Scene to Screen 3D Production Workflow
Benoît Michel Digital Stereoscopy provides a large number of technical details on Digital Stereoscopy, making it a reference work for professionals in the field, with explanations of the most commonly...
View ArticleMediaEval 2012 Evaluation Campaign
by Gareth J. F. Jones and Martha Larson MediaEval is an international multimedia benchmarking initiative offering innovative new tasks to the multimedia community. MediaEval 2012 featured tasks...
View ArticleTransForm School on Research Directions in Distributed Computing
by Panagiota Fatourou The TransForm School on Research Directions in Distributed Computing (SRDC 2013) was held in Heraklion, Crete Island, Greece, on June 10-14, 2013 at the premises of the Foundation...
View ArticlePreserving Linked Data
by Carlo Meghini, Anna Molino, Francesca Borri and Giulio Galesi The PRELIDA project aims at building bridges across the Digital Preservation and Linked Data communities, raising awareness of already...
View ArticleSoFWIReD – Southampton Fraunhofer Web and Internet Research & Development
by Sepideh Chakaveh The SoFWIReD project brings together two ERCIM institutes, University of Southampton and Fraunhofer Gesellschaft to determine the future of Web and Internet Science.
View ArticleA Patented Position Determination Solution
by Per Kreuger More dynamic and less resource-intensive: Researchers at SICS have developed a new solution to determine mobile phone positioning.
View ArticleElectromagnetic Fields for Neuron Communications
by Rié Komuro and Ilangko Balasingham Are electromagnetic fields harmful to the brain? We are continuously exposed to electromagnetic (EM) fields generated by electronic devices such as cell phones....
View ArticleInGeoCloudS: A Cloud-Based Platform for Sharing Geodata Across Europe
by Claudio Lucchese, Raffaele Perego, Salvatore Trani, Makis Atzemoglou, Benoit Baurens and Dimitris Kotzinos InGeoCloudS is a project funded by the European Commission under the CIP-Pilot actions...
View ArticleLuxDrops – User-Friendly Management of Confidential Data in the Cloud
by Pascal Bauler, Daniel Heinesch, Antoine Schlechter and Fernand Feltz Cloud adoption is slowed down by a lack of confidence in the proposed cloud platforms. We first summarize the research activities...
View ArticleDRMSim: A Routing-Model Simulator for Large-Scale Networks
by Aurélien Lancin and Dimitri Papadimitriou The expansion of Internet topology, which comprises thousands of Autonomous Systems (AS), has resulted in a number of important research challenges. The...
View ArticleWire-Speed Regular-Expression Scanning at 20 Gbit/s and Beyond
by Jan van Lunteren and Christoph Hagleitner Network intrusion detection systems and emerging analytics applications for business intelligence rely on fast pattern-matching functions to scan data in...
View ArticleAn Innovative Active Suspension System for Autonomous Vehicles: A Safe and...
by Katerina Hyniova Between 2001 and 2012, the Josef Bozek Research Center of Combustion Engines and Automobiles at the Czech Technical University in Prague, Czech Republic, has been developing...
View ArticleImperia: The 21st Century Eco-Friendly Sports Car
by François Henry The Imperia is back on track in the 21st century, thanks to its intelligent hybrid propulsion management developed by Green Propulsion, a spin-off company from Université de Liège,...
View ArticleW3C Launched Work on Web and Automotive
by Philipp Hoschka Supported by the “Webinos” project, W3C has created a new Automotive and Web Platform Business Group to accelerate the adoption of Web technologies in the automotive industry. The...
View ArticleDigital Road Authority for Coordination between In-Car Navigation Systems and...
by Rob van der Mei, Maaike Bots and Frank Ottenhof The use of in-car technology and real-time traffic information has been growing spectacularly over the past few years, and this growth is not likely...
View ArticleThe Car that Looks Like Me: Similarity Cues can Increase Trust in the...
by Frank Verberne, Jaap Ham and Cees Midden In the future, cars will be better at driving themselves than humans are. These cars will be useless, however, if humans do not trust them. Researchers from...
View ArticleElectro Vehicle Car-Sharing System – A Simulation Model for Big Cities
by Dmitry Rozhdestvenskiy and Petr Bouchner We address the problem of the introduction of car sharing systems for electric vehicles within big cities through simulation of such systems. Simulation is...
View ArticleModularity Analysis of Automotive Control Software
by Yanja Dajsuren, Mark G.J. van den Brand and Alexander Serebrenik A design language and tool like MATLAB/Simulink is used for the graphical modelling and simulation of automotive control software....
View ArticleIntelligent Vehicles: Complex Software-Based Systems
by Javier Ibanez-Guzman and Christian Laugier Motor vehicles are becoming complex-networked mobile computers. Modern vehicles include numerous networked microprocessor-based Electronic Control Units...
View Article