This book constitutes the thoroughly refereed post-proceedings of the 14th International Workshop on Security Protocols, held in Cambridge, UK, in March 2006. The 21 revised full papers presented together with edited transcriptions of some of the discussions following the presen…
Autonomous search
Decades of innovations in combinatorial problem solving have produced better and more complex algorithms. These new methods are better since they can solve larger problems and address new application domains. They are also more complex which means that they are hard to reproduce…
This book constitutes the refereed proceedings of the 5th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2011, held in Bratislava, Slovakia, in October 2011. The 20 revised full papers presented were carefully reviewed and select…
This book constitutes the proceedings of the 4th EuroSymposium on Systems Analysis and Design, SIGSAND/PLAIS 2011, held in Gdańsk, Poland, in September 2011. The objective of this symposium is to promote and develop high-quality research on all issues related to systems analysis…
This book aims to cover the state of the art in the fields of ontology evolution and information extraction from multimedia, while also promoting the synergy between these two fields. The contents stem largely from the research work conducted over a period of three years under t…
This volume constitutes the proceedings of the 4th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling, held in Oslo, Norway, during November 2-3, 2011. The conference series is a dedicated forum where the use of enterprise modeling (EM) in practice is addresse…
E-infrastructure and e-services for Developing Countries: second International ICST Conference, AFRICOM 201…
by Institute for Computer Sciences, Social-Informatics, and Telecommunications Engineering, IFIP TC 6 African Conference on Computer Communications, AFRICOM
fromLecture Notes of the Institute for Computer Sciences, Socia…
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…
Uncertainty in key parameters within a chip and between different chips in the deep sub micron era plays a more and more important role. As a result, manufacturing process spreads need to be considered during the design process. Quantitative methodology is needed to ensure fault…
This book represents a new approach to musical creativity, dealing with the semiotics, mathematical principles, and software for creativity processes. After a thorough introduction, the book offers a first practical part with a detailed tutorial for students in composition and i…
Security-enriched urban computing and smart grid: Second International Conference, SUComS 2011, Hua…
by Peng, Sheng-Lung, Kim, Tai-hoon, Chang, Ruay-Shiung, International Conference on Security-Enriched Urban Computing and Smart Grid, Hualien, Taiwan)
fromCommunications in computer and information science
These contributions, written by the foremost international researchers and practitioners of Genetic Programming (GP), explore the synergy between theoretical and empirical results on real-world problems, producing a comprehensive view of the state of the art in GP. Topics includ…