Download or read book Proceedings of the International Conference on Information Technology Systems ICITS 2018 written by Álvaro Rocha and published by Springer. This book was released on 2018-01-04 with total page 1170 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book includes a selection of articles from the 2018 International Conference on Information Technology & Systems (ICITS 18), held on January 10 – 12, 2018, at the Universidad Estatal Península de Santa Elena, Libertad City, Ecuador. ICIST is a global forum for researchers and practitioners to present and discuss recent findings and innovations, current trends, lessons learned and the challenges of modern information technology and systems research, together with their technological development and applications. The main topics covered include information and knowledge management; organizational models and information systems; software and systems modeling; software systems, architectures, applications and tools; multimedia systems and applications; computer networks, mobility and pervasive systems; intelligent and decision support systems; big data analytics and applications; human–computer interaction; ethics, computers & security; health informatics; and information technologies in education.

Download or read book Proceedings of International Joint Conference on Computational Intelligence written by Mohammad Shorif Uddin and published by Springer. This book was released on 2019-07-03 with total page 728 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book gathers outstanding research papers presented at the International Joint Conference on Computational Intelligence (IJCCI 2018), which was held at Daffodil International University on 14–15 December 2018. The topics covered include: collective intelligence, soft computing, optimization, cloud computing, machine learning, intelligent software, robotics, data science, data security, big data analytics, and signal and natural language processing.

Download or read book Formal Techniques for Safety Critical Systems written by Cyrille Artho and published by Springer. This book was released on 2019-02-01 with total page 179 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018. The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and verification of Safety-Critical Systems; analysis of timed systems; semantics and analysis methods, and model transformation.

Download or read book Applied Soft Computing and Communication Networks written by Sabu M. Thampi and published by Springer Nature. This book was released on 2021-07-01 with total page 340 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes thoroughly refereed post-conference proceedings of the International Applied Soft Computing and Communication Networks (ACN 2020) held in VIT, Chennai, India, during October 14–17, 2020. The research papers presented were carefully reviewed and selected from several initial submissions. The book is directed to the researchers and scientists engaged in various fields of intelligent systems.

Download or read book Formal Modeling and Analysis of Timed Systems written by Étienne André and published by Springer Nature. This book was released on 2019-08-20 with total page 301 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019. The 15 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers are organized in the following topical sections: special session on data-driven and stochastic approaches to real-time, including monitoring and Big Data; timed systems; linear and non-linear systems; timed automata; special session on timed systems and probabilities.

Download or read book Formal Methods and Software Engineering written by Yamine Ait-Ameur and published by Springer Nature. This book was released on 2019-10-28 with total page 543 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods.

Download or read book Reliability Safety and Security of Railway Systems Modelling Analysis Verification and Certification written by Simon Collart-Dutilleul and published by Springer. This book was released on 2019-05-28 with total page 297 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019. The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and track planning; safety process and validation; modelling; formal verification; and security.

Download or read book Runtime Verification written by Bernd Finkbeiner and published by Springer Nature. This book was released on 2019-10-03 with total page 413 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019. The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess system correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Chapter “Assumption-Based Runtime Verification with Partial Observability and Resets” and chapter “NuRV: a nuXmv Extension for Runtime Verification“ are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Download or read book ICECCS 2018 written by and published by . This book was released on 2018 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Logic Computation and Rigorous Methods written by Alexander Raschke and published by Springer Nature. This book was released on 2021-06-04 with total page 367 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday. It acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems. The 18 invited contributions in this volume are by leading researchers in the areas of software engineering, programming languages, business information systems, and computer science logic.

Download or read book Applied Technologies written by Miguel Botto-Tobar and published by Springer Nature. This book was released on 2021-03-31 with total page 713 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume constitutes the refereed proceedings of the Second International Conference on Applied Technologies, ICAT 2020, held in Quito, Ecuador, in December 2020. Due to the COVID-19 pandemic the conference was held online. The 53 papers were carefully reviewed and selected from 145 submissions. The papers are organized according to the following topics: communication; computing; e-government and e-participation; e-learning; electronics; intelligent systems; machine vision; security; technology trends.

Download or read book Implicit and Explicit Semantics Integration in Proof Based Developments of Discrete Systems written by Yamine Ait-Ameur and published by Springer Nature. This book was released on 2020-07-27 with total page 345 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, and discusses different contributions expressing different views and perceptions on the implicit and explicit semantics. The book is based on the discussions at the Shonan meeting on this topic held in 2016, and includes contributions from the participants summarising their perspectives on the problem and offering solutions. Divided into 5 parts: domain modelling, knowledge-based modelling, proof-based modelling, assurance cases, and refinement-based modelling, and offers inspiration for researchers and practitioners in the fields of formal methods, system and software engineering, domain knowledge modelling, requirement analysis, and explicit and implicit semantics of modelling languages.

Download or read book Proceedings of the 3rd International Conference on Separation Technology written by Muhammad Abbas Ahmad Zaini and published by Springer Nature. This book was released on 2021-05-24 with total page 413 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book contains papers presented in the 3rd International Conference on Separation Technology 2020 (ICoST 2020) held from 15 to 16th August 2020 at Johor, Malaysia. This proceeding contains papers presented by academics and industrial practitioners showcasing the latest advancements and findings in field of separation technology. The papers are categorized under the following tracks and topics of research: Environment Engineering Biotechnology Absorption and Adsorption Technology Wastewater Treatment ICoST 2020 covers multidisciplinary perspectives on separation research and aims to promote scientific information interchange between academics, researchers, graduates and industry professionals worldwide. This conference provides opportunities for the delegates to exchange new ideas and application experiences face to face, to establish business or research relations and to find global partners for future collaboration.

Download or read book Formal Methods and Software Engineering written by Shang-Wei Lin and published by Springer Nature. This book was released on 2020-12-18 with total page 338 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together with case studies. They also represent the recent development in the use and development of formal engineering methods for software and system development.

Download or read book Blockchain and Applications 4th International Congress written by Javier Prieto and published by Springer Nature. This book was released on 2023-01-07 with total page 477 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 4th International Congress on Blockchain and Applications 2022, BLOCKCHAIN’22, held in L’Aquila, Italy, in July 2022. Among the scientific community, blockchain and artificial intelligence are a promising combination that will transform the production and manufacturing industry, media, finance, insurance, e-government, etc. Nevertheless, there is no consensus with schemes or best practices that would specify how blockchain and artificial intelligence should be used together. The 37 full papers presented in the main track were carefully reviewed and selected from more than 75 submissions. They contain the latest advances on blockchain and artificial intelligence and on their application domains, exploring innovative ideas, guidelines, theories, models, technologies, and tools and identifying critical issues and challenges that researchers and practitioners must deal with in the future research. The book also includes 3 papers from the WEB3-TRUST workshop and 2 papers from the Doctoral Consortium.

Download or read book Knowledge Engineering for Modern Information Systems written by Anand Sharma and published by Walter de Gruyter GmbH & Co KG. This book was released on 2022-01-19 with total page 238 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents an extensive collection of the recent findings and innovative research in the information system and knowledge engineering domain. Knowledge engineering is a field within artificial intelligence that develops in particular systems that use knowledge, rather than data, to solve many computing problems, that would usually require high levels of human expertise.

Download or read book Intelligent Technologies and Applications written by Imran Sarwar Bajwa and published by Springer. This book was released on 2019-03-11 with total page 853 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the First International Conference on Intelligent Technologies and Applications, INTAP 2018, held in Bahawalpur, Pakistan, in October 2018. The 68 revised full papers and 6 revised short papers presented were carefully reviewed and selected from 251 submissions. The papers of this volume are organized in topical sections on AI and health; sentiment analysis; intelligent applications; social media analytics; business intelligence;Natural Language Processing; information extraction; machine learning; smart systems; semantic web; decision support systems; image analysis; automated software engineering.