The application of formal methods to security protocol analysis has attracted increasing attention in the past two decades, and recently has been sh- ing signs of new maturity and consolidation.
This two-volume set, LNCS 13426 and 13427, constitutes the thoroughly refereed proceedings of the 33rd International Conference on Database and Expert Systems Applications, DEXA 2022, held in Vienna in August 2022.
The book presents the results of studies on selected problems (such as predictive model of transcription initiation and termination, protein recognition codes, protein structure prediction, feature selection for disease prediction, information retrieval from medical imaging) of Bioinformatics and Information Retrieval.
This book constitutes the proceedings of the 12th International Conference on Web Information Systems Engineering, WISE 2011, held in Sydney, Australia, in October 2011.
Change Management for Semantic Web Services provides a thorough analysis of change management in the lifecycle of services for databases and workflows, including changes that occur at the individual service level or at the aggregate composed service level.
This volume constitutes the proceedings of the 15th International Conference on Sustainable Digital Communities, iConference 2020, held in Boras, Sweden, in March 2020.
This 5-volume set (CCIS 214-CCIS 218) constitutes the refereed proceedings of the International Conference on Computer Science, Environment, Ecoinformatics, and Education, CSEE 2011, held in Wuhan, China, in July 2011.
This book begins with an introduction to fundamental issues related to digital preservation metadata before proceeding to in-depth coverage of issues concerning its practical use and implementation.
The three-volume set LNCS 9746, 9747, and 9748 constitutes the proceedings of the 5th International Conference on Design, User Experience, and Usability, DUXU 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, in Toronto, Canada, in July 2016, jointly with 13 other thematically similar conferences.
This book constitutes the refereed proceedings of two workshops held in conjunction with the 8th FIRA International Conference on Secure and Trust Computing, Data Management, and Applications, STA 2011, in Crete, Greece, in June 2011.
This volume constitutes the proceedings of the 11th International Conference on Social Informatics, SocInfo 2019, held in Doha, Qatar, in November 2019.
This book constitutes the refereed proceedings of the 14th International Conference on Similarity Search and Applications, SISAP 2021, held in Dortmund, Germany, in September/October 2021.
This book surveys recent advances in Conversational Information Retrieval (CIR), focusing on neural approaches that have been developed in the last few years.
The two volume set, CCIS 262 and 263, constitutes the refereed proceedings of the International Conference, MulGraB 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, in December 2011.
This volume constitutes the refereed proceedings of the Confederated International International Workshop on Enterprise Integration, Interoperability and Networking (EI2N ) , Fact Based Modeling ( FBM), Industry Case Studies Program ( ICSP ), International Workshop on Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society (Meta4eS), and OnTheMove Academy (OTMA 2016), held as part of OTM 2016 in October 2016 in Rhodes, Greece.
The three-volume set LNCS 9737-9739 constitutes the refereed proceedings of the 10th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2016, held as part of the 10th International Conference on Human-Computer Interaction, HCII 2016, in Toronto, ON, Canada in July 2016, jointly with 15 other thematically similar conferences.
This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in Funchal, Madeira Island, Portugal, in June 2003.
The two-volume set LNCS 10046 and 10047 constitutes the proceedings of the 8th International Conference on Social Informatics, SocInfo 2016, held in Bellevue, WA, USA, in November 2016.
This book constitutes the revised selected papers of the 11th International Workshop on Information Search, Integration and Personalization, ISIP 2016, held in Lyon, France, in November 2016.
The four-volume set LNCS 8517, 8518, 8519 and 8520 constitutes the proceedings of the Third International Conference on Design, User Experience, and Usability, DUXU 2014, held as part of the 16th International Conference on Human-Computer Interaction, HCII 2014, held in Heraklion, Crete, Greece in June 2014, jointly with 13 other thematically similar conferences.
The 1999 International Workshop on Interactive Distributed Multimedia Sys- tems and Telecommunication Services (IDMS) in Toulouse is the sixth in a se- ries that started in 1992.
This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015.
This book constitutes the refereed proceedings of six workshops of the 14th International Conference on Web-Age Information Management, WAIM 2013, held in Beidaihe, China, June 2013.
The two LNAI volumes 7208 and 7209 constitute the proceedings of the 7th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2012, held in Salamanca, Spain, in March 2012.
This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the Conferences on Intelligent Computer Mathematics.
This book constitutes the thoroughly refereed post-proceedings of the satellite events of the 9th International Conference on the Semantic Web, ESWC 2012, held in Heraklion, Crete, Greece, in May 2012.
The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery and knowledge processing, which are core and hot topics in computer science.
This book constitutes the refereed proceedings of the International Conference, GDC 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, Jeju Island, Korea, in December 2011.
This book constitutes the refereed proceedings of the 6th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2008, held in Madrid, Spain, in June 2008.
This book contains the refereed proceedings of the 12th International Conference on Business Process Modeling, Development and Support (BPMDS 2011) and the 16th International Conference on Exploring Modeling Methods for Systems Analysis and Design (EMMSAD 2011), held together with the 23rd International Conference on Advanced Information Systems Engineering (CAiSE 2011) in London, UK, in June 2011.
This book features a collection of revised and significantly extended versions of the papers accepted for presentation at the 5th International Workshop on New Frontiers in Mining Complex Patterns, NFMCP 2016, held in conjunction with ECML-PKDD 2016 in Riva del Garda, Italy, in September 2016.
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Conference on Agents and Artificial Intelligence, ICAART 2012, held in Vilamoura, Portugal, in February 2012.
Many challenging problems in information systems engineering involve the manipulation of complex metadata artifacts or models, such as database schema, interface specifications, or object diagrams, and mappings between models.
