The research trend in the automotive domain is clearly moving from mechanically controlled to computer assisted systems for both vehicle handling and comfort functions. Driver Assistance Systems (DAS), originally integrated to decrease the cognitive load and to increase the comf…
This book constitutes the refereed proceedings of the International RuleML Symposium on Rule Interchange and Applications, RuleML 2009, held in Las Vegas, Nevada, USA, in November 2009 - collocated with the 12th International Business Rules Forum. The 12 revised full papers and …
The 9th issue of the Transactions on Computational Science journal, edited by François Anton, is devoted to the subject of Voronoi diagrams in science and engineering. The 9 papers included in the issue constitute extended versions of selected papers from the International Sympo…
by SpringerLink (Online service), Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Boer, Frank S., Graf, Susanne, Bonsangue, Marcello M., Roever, Willem-Paul
fromLecture Notes in Computer Science
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the …
Biology has inspired electronics from the very beginning: the machines that we now call computers are deeply rooted in biological metaphors. Pioneers such as Alan Turing and John von Neumann openly declared their aim of creating arti?cial machines that could mimic some of the be…
This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches to Testing of Software, FATES 2009, jointly held in Eindhoven, The Netherlands,…
This book constitutes the refereed proceedings of the 16th International GI/ITG Conference on Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, held in Kaiserslautern, Germany, in March 2012. The 16 revised full pape…
This two volume set LNCS 7016 and LNCS 7017 constitutes the refereed proceedings of the 11th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2011, held in Melbourne, Australia, in October 2011. The first volume presents 24 revised regular…
This book constitutes the refereed proceedings of the International Conference on Web Information Systems and Mining, WISM 2009, held in Shanghai, China, on November 7-8, 2009. The 61 revised full papers presented in this volume were carefully reviewed and selected from 598 subm…
This book constitutes the refereed proceedings of the 10th International Workshop on Engineering Societies in the Agents World, ESAW 2009, held in Utrecht, The Netherlands, in November 2009. The 13 revised full papers and 5 short contributions presented together with two invited…
Given that faults cannot be prevented in sufficiently complex systems, means of fault tolerance are essential for dependable distributed systems. Designing and evaluating fault-tolerant systems require well-conceived fault models. In the past, theoretical works have used simplif…
This volume constitutes the selected papers of the 16th Annual International Workshop on Selected Areas in Cryptography, SAC 2009, held in Calgary, Alberta, Canada, in August 13-14 2009. From a total of 99 technical papers, 27 papers were accepted for presentation at the worksho…
by SpringerLink (Online service), GDC (Conference), Cheju Island, Korea), FGIT 2011, Cheju Island, Korea), DRBC (Conference), Cheju Island, Korea), EL 2011, Cheju Island, Korea), ASEA (2008- ), Cheju Island, Korea)
fromCommunications in computer and information science
This book comprises selected papers of the International Conferences, ASEA, DRBC and EL 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, in December 2011. The papers presented were careful…
This book constitutes the refereed proceedings of the 7th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, held in Salvador, Brazil, in October 2011. The 20 revised full papers presented together with 4 industrial full papers, 8 lightning talks and 2 works…
This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2010, held in Karlsruhe, Germany in October 2010. The 10 revised full papers presented together with one invited keyno…
This book constitutes the thoroughly refereed post-conference proceedings of the Second International ICST Conference on e-Infrastructure and e-Services for Developing Countries, AFRICOM 2010, held in Cape Town, South Africa, in November 2010. The 13 revised full papers presente…
This 4-Volume-Set, CCIS 0251 - CCIS 0254, constitutes the refereed proceedings of the International Conference on Informatics Engineering and Information Science, ICIEIS 2011, held in Kuala Lumpur, Malaysia, in November 2011. The 210 revised full papers presented together with i…
