The continuous trend in computer science to lift programming to higher abstraction levels increases scalability and opens programming to a wider public. In particular, service-oriented programming and
This, the 12th issue of Transactions on Large-Scale Data and Knowledge-Centered Systems, contains five revised selected regular papers. Topics covered include schema matching and schema mapping, updat
In this primer for IT specialists on the aspects of molecular biology and medicine that lend themselves to the application of computer science, budding bioinformaticians will find clear explanations o
Ada 2012 is the latest version of the international standard for the programming language Ada. It is designated ISO/IEC 8652:2012 (E) and is a new edition replacing the 2005 version. The primary goals
This book constitutes the thoroughly refereed conference proceedings of the 5th International Workshop on Resource Discovery, RED 2010, co-located with the 9th Extended Semantic Web Conference, held i
This book constitutes the proceedings of the First International Conference on Mining Intelligence and Knowledge Exploration, MIKE 2013, held in Tamil Nadu, India on December 2013. The 82 papers prese
This book constitutes the proceedings of the 14th IMA International Conference on Cryptography and Coding, IMACC 2013, held at Oxford, UK, in December 2013. The 20 papers presented were carefully revi
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Critical Information Infrastructures Security, CRITIS 2012, held in Lillehammer, Norway, in Septembe
This book constitutes the refereed proceedings of the 11th Asian Symposium on Programming Languages and Systems, APLAS 2013, held in Melbourne, Australia, in December 2013. The 20 regular papers prese
This book constitutes the refereed proceedings of the 15th International Conference on Asia-Pacific Digital Libraries, ICADL 2013, held in Bangalore, India, in December 2013. The 15 revised full paper
This book constitutes the thoroughly refereed conference proceedings of the Second International Conference on Big Data Analytics, BDA 2013, held in Mysore, India, in December 2013. The 13 revised ful
This book constitutes the refereed proceedings of the 10th International Workshop on Algorithms and Models for the Web Graph, WAW 2013, held in Cambridge, MA, USA, in December 2013. The 17 papers pres
This book constitutes the refereed proceedings of the 6th bi-annual Latin American Conference on Human-Computer Interaction, CLIHC 2013, held in Guanacasta, Costa Rica, in December 2013. The 11 full p
Algorithmic probability and friends: Proceedings of the Ray Solomonoff 85th memorial conference is a collection of original work and surveys. The Solomonoff 85th memorial conference was held at Monash
This book constitutes the proceedings of the 5th International Symposium on Cyberspace Safety and Security, CSS 2013, held in Zhangjiajie, China, in November 2013. The 30 full papers presented in this
This book constitutes the refereed proceedings of the 14th International Conference on Cryptology in India, INDOCRYPT 2013, held in Mumbai, India, in December 2013. The 15 revised full papers presente
The two-volume set LNCS 8269 and 8270 constitutes the refereed proceedings of the 19th International Conference on the Theory and Application of Cryptology and Information, Asiacrypt 2013, held in Ben
This book constitutes the proceedings of the 10th International Workshop on Fuzzy Logic and Applications, WILF 2013, held in Genoa, Italy, in November 2013. After a rigorous peer-review selection proc
This book constitutes the refereed conference proceedings of the 10th International Conference on Advances in Computer Entertainment, ACE 2013, held in Boekelo, The Netherlands, in November 2013. The
This book constitutes the thoroughly refereed conference proceedings of the Third International Conference on Algorithmic Decision Theory, ADT 2013, held in November 2013 in Bruxelles, Belgium. The 33
This book constitutes the refereed proceedings of the 32nd International Conference on Conceptual Modeling, ER 2013, held in Hong Kong, China, in November 2013. The 23 full and 17 short papers present
This book constitutes the refereed proceedings of the 12th International Conference on Cryptology and Network Security, CANS 2013, held in Paraty, Brazil, in November 2013.The 18 revised full papers p
This book constitutes the refereed proceedings of the 4th International Conference on Decision and Game Theory for Security, GameSec 2013, held in Fort Worth, TX, USA, in November 2013. The 15 revised
This book constitutes the refereed proceedings of the 6th International Conference on Interactive Storytelling, ICIDS 2013, Istanbul, Turkey, November 2013. The 14 revised full papers presented togeth
This book constitutes the refereed proceedings of the 8th Chinese Conference on Biometric Recognition, CCBR 2013, held in Jinan, China, in November 2013. The 57 revised full papers presented were care
This book constitutes the refereed proceedings of the 8th International Workshop on Security, IWSEC 2013, held in Okinawa, Japan, in November 2013. The 20 revised selected papers presented in this vol
This book constitutes the refereed proceedings of the International Conference on Brain and Health Informatics, BHI 2013, held in Maebashi, Japan, in October 2013. The 33 revised full papers presented
This book constitutes the refereed proceedings of the 8th Brazilian Symposium on Bioinformatics, BSB 2013, held in Recife, Brazil, in November 2013. The 18 regular papers presented were carefully revi
Peer-to-peer systems are now widely used and have become the focus of attention for many researchers over the past decade. A number of algorithms for decentralized search, content distribution, and me
The two-volume set LNCS 8218 and 8219 constitutes the refereed proceedings of the 12th International Semantic Web Conference, ISWC 2013, held in Sydney, Australia, in October 2013. The International S
The two-volume set LNCS 8218 and 8219 constitutes the refereed proceedings of the 12th International Semantic Web Conference, ISWC 2013, held in Sydney, Australia, in October 2013. The International S
This book constitutes the proceedings of the 6th International Symposium on Algorithmic Game Theory, SAGT 2013, held in Aachen, Germany, in October 2013. The 25 papers presented in this volume were ca
This book constitutes the proceedings of the 19th Collaboration Researchers' International Working Group Conference on Collaboration and Technology, held in Wellington, New Zealand, in October/Novembe
This book constitutes the proceedings of the 16th International Symposium on Research in Attacks, Intrusions and Defenses, former Recent Advances in Intrusion Detection, RAID 2013, held in Rodney Bay,
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Symposium on Computer Music Modeling and Retrieval, CMMR 2012, held in London, UK, in June 2012. The
The three-volume set LNCS 8149, 8150, and 8151 constitutes the refereed proceedings of the 16th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2013, hel
This volume constitutes the proceedings of the 8th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2013, held in Salamanca, Spain, in September 2013. The 68 papers published in
This book constitutes the refereed proceedings of the 12th International Conference on Entertainment Computing, ICEC 2013, held in Sao Paulo, Brazil, in October 2013. The 13 full papers, 6 short paper
This book constitutes the refereed proceedings of the 12th International Conference on Web-Based Learning, ICWL 2013, held in Kenting, Taiwan, in October 2013. The 34 revised full papers presented wer
This two volume set LNAI 8102 and LNAI 8103 constitutes the refereed proceedings of the 6th International Conference on Intelligent Robotics and Applications, ICIRA 2013, held in Busan, South Korea, i
