Download or read book Proceedings of Sixth International Congress on Information and Communication Technology written by Xin-She Yang and published by Springer Nature. This book was released on 2021-10-26 with total page 883 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book gathers selected high-quality research papers presented at the Sixth International Congress on Information and Communication Technology, held at Brunel University, London, on February 25–26, 2021. It discusses emerging topics pertaining to information and communication technology (ICT) for managerial applications, e-governance, e-agriculture, e-education and computing technologies, the Internet of Things (IoT) and e-mining. Written by respected experts and researchers working on ICT, the book offers a valuable asset for young researchers involved in advanced studies. The book is presented in four volumes.
Download or read book Information Technology and Systems written by Álvaro Rocha and published by Springer. This book was released on 2019-01-28 with total page 976 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book features a selection of articles from The 2019 International Conference on Information Technology & Systems (ICITS’19), held at the Universidad de Las Fuerzas Armadas, in Quito, Ecuador, on 6th to 8th February 2019. ICIST is a global forum for researchers and practitioners to present and discuss recent findings and innovations, current trends, professional experiences and challenges of modern information technology and systems research, together with their technological development and applications. The main topics covered are: 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; information technologies in education; cybersecurity and cyber-defense; electromagnetics, sensors and antennas for security.
Download or read book The Application of Formal Methods written by Simon Foster and published by Springer Nature. This book was released on with total page 388 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Model Driven Engineering and Software Development written by Francisco José Domínguez Mayo and published by Springer Nature. This book was released on with total page 187 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book New Perspectives in Software Engineering written by Jezreel Mejia and published by Springer Nature. This book was released on 2022-10-29 with total page 324 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book contains the proceedings of the CIMPS Conference held on October 19-21, 2022, Hipócrates University, Acapulco de Juárez, Guerrero, México, that is dedicated to Software Engineering, in particular, software processes improvement, computer security and communication technology, artificial intelligence and data analysis (big data) with a focus on innovation and/or entrepreneurship, bringing together the academic sectors, governmental and industrial that promote the comprehensive development of a culture of research, innovation and competitiveness of organizations dedicated to and/or that make use of Information and Communication Telecommunications. This book presents software engineering with impact in a combination of different fields: Organizational Models, Standards and Methodologies, Knowledge Management, Software Systems, Applications and Tools, Information and Communication Technologies, Information security, Artificial intelligence, Data Analysis. It is used in different domains in which a broad scope of audience is interested in: • Software engineers • Analyst • Project management • Consultant • Professors in academia • Students • Corporate heads of firms • Senior general managers • Managing directors • Board directors • Academics and researchers in the field both in universities and business schools • Information technology directors and managers • Quality managers and directors • Libraries and information centres serving the needs of the above This book contents are also useful for Ph.D. students, master’s and undergraduate students of IT-related degrees such as Computer Science, Information Systems.
Download or read book Enterprise Information Systems written by Joaquim Filipe and published by Springer Nature. This book was released on 2021-04-30 with total page 932 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes extended, revised and selected papers from the 22nd International Conference on Enterprise Information Systems, ICEIS 2020, held online during May 5-7, 2020. The 41 papers presented in this volume were carefully reviewed and selected for inclusion in this book from a total of 255 submissions. They were organized in topical sections as follows: database and information systems integration; artificial intelligence and decision support systems; information systems analysis and specification; software agents and internet computing; human-computer interaction; and enterprise architecture.
Download or read book Software Architecture written by Carlos E. Cuesta and published by Springer. This book was released on 2018-09-19 with total page 378 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 12th European Conference on Software Architecture, ECSA 2018, held in Madrid, Spain, in September 2018. The 17 full papers presented together with 7 short papers were carefully reviewed and selected from 96 submissions. They are organized in topical sections as follows: Self-Adaptive Architectures, IoT Architectures, Embedded and Cyber-Physical Systems, Microservices Architectures, Service-Oriented Architectures, Architectural Design Decisions, Software Architecture in Practice.
Download or read book Smart Applications and Data Analysis written by Mohamed Hamlich and published by Springer Nature. This book was released on 2020-06-04 with total page 366 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume constitutes refereed proceedings of the Third International Conference on Smart Applications and Data Analysis, SADASC 2020, held in Marrakesh, Morocco. Due to the COVID-19 pandemic the conference has been postponed to June 2020. The 24 full papers and 3 short papers presented were thoroughly reviewed and selected from 44 submissions. The papers are organized according to the following topics: ontologies and meta modeling; cyber physical systems and block-chains; recommender systems; machine learning based applications; combinatorial optimization; simulations and deep learning.
Download or read book Enterprise Business Process and Information Systems Modeling written by Rainer Schmidt and published by Springer. This book was released on 2016-06-06 with total page 494 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book contains the refereed proceedings of the 17th International Conference on Business Process Modeling, Development and Support, BPMDS 2016, and the 21st International Conference on Exploring Modeling Methods for Systems Analysis and Design, EMMSAD 2016, held together with the 28th International Conference on Advanced Information Systems Engineering (CAiSE 2016) in Ljubljana, Slovenia, in June 2016. The focus theme for BPMDS 2016 papers was ”Business Processes in a Connected World”, for which three subthemes were identified: business processes for connecting people, connecting intelligent objects to business processes and connecting information/data/knowledge to business processes. The 17 full and 1 short paper accepted for BPMDS were selected from 48 submissions and are grouped into topical sections on process execution support; improving usability of process models; social and human perspectives; new directions in process modeling; consistency, correctness and compliance; process and data mining; and process variability. The intention of EMMSAD is to solicit papers related to the field of information systems analysis and design including numerous information modeling methods and notations that are typically evolving. These ongoing changes significantly impact the way information systems, enterprises, and business processes are being analyzed and designed in practice. The 12 full papers accepted for EMMSAD were chosen from 19 submissions and are grouped into topical sections on fundamental issues in modeling; requirements and regulations; enterprise and software ecosystem modeling; information and process model quality; meta-modeling and domain specific modeling and model composition; and modeling of architecture and design.
Download or read book Verification and Evaluation of Computer and Communication Systems written by Kamel Barkaoui and published by Springer. This book was released on 2017-08-15 with total page 218 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 11th International Conference International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017. The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance and dependability evalu-ation in order to discuss state-of-the-art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and dis-tributed hardware/software systems.
Download or read book Engineering Multi Agent Systems written by Amal El Fallah-Seghrouchni and published by Springer. This book was released on 2018-05-14 with total page 205 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the revised and selected papers from the 5th International Workshop on Engineering Multi-Agent Systems held in Sao Paulo, Brazil, in May 2018, in conjunction with AAMAS 2018. The 11 full papers presented in this volume were carefully reviewed and selected from 18 submissions. The book contains also the best paper of the workshop that has been published previously in another LNCS volume. The EMAS workshop focusses on the cross-fertilisation of ideas and experiences in the various fields with the aim to enhance knowledge and expertise in MAS engineering , to improve the state-of-the-art, to define new directions for MAS engineering, to investigate how established methodologies for engineering and large-scale and open MAS can be adapted.
Download or read book Computer Safety Reliability and Security written by Jérémie Guiochet and published by Springer Nature. This book was released on 2023-09-10 with total page 291 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 42nd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2023, which took place in Toulouse, France, in September 2023. The 20 full papers included in this volume were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Safety assurance; software testing and reliability; neural networks robustness and monitoring; model-based security and threat analysis; safety of autonomous driving; security engineering; AI safety; and neural networks and testing.
Download or read book Rigorous State Based Methods written by Alexander Raschke and published by Springer Nature. This book was released on 2020-05-22 with total page 432 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic. The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it. The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributing to the case study; short articles of the PhD-symposium (work in progress).
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 Computer Security ESORICS 2016 written by Ioannis Askoxylakis and published by Springer. This book was released on 2016-09-14 with total page 629 pages. Available in PDF, EPUB and Kindle. Book excerpt: The two-volume set, LNCS 9878 and 9879 constitutes the refereed proceedings of the 21st European Symposium on Research in Computer Security, ESORICS 2016, held in Heraklion, Greece, in September 2016. The 60 revised full papers presented were carefully reviewed and selected from 285 submissions. The papers cover a wide range of topics in security and privacy, including data protection: systems security, network security, access control, authentication, and security in such emerging areas as cloud computing, cyber-physical systems, and the Internet of Things.
Download or read book Middleware Solutions for Wireless Internet of Things written by Paolo Bellavista and published by MDPI. This book was released on 2019-07-15 with total page 262 pages. Available in PDF, EPUB and Kindle. Book excerpt: The proliferation of powerful but cheap devices, together with the availability of a plethora of wireless technologies, has pushed for the spread of the Wireless Internet of Things (WIoT), which is typically much more heterogeneous, dynamic, and general-purpose if compared with the traditional IoT. The WIoT is characterized by the dynamic interaction of traditional infrastructure-side devices, e.g., sensors and actuators, provided by municipalities in Smart City infrastructures, and other portable and more opportunistic ones, such as mobile smartphones, opportunistically integrated to dynamically extend and enhance the WIoT environment. A key enabler of this vision is the advancement of software and middleware technologies in various mobile-related sectors, ranging from the effective synergic management of wireless communications to mobility/adaptivity support in operating systems and differentiated integration and management of devices with heterogeneous capabilities in middleware, from horizontal support to crowdsourcing in different application domains to dynamic offloading to cloud resources, only to mention a few. The book presents state-of-the-art contributions in the articulated WIoT area by providing novel insights about the development and adoption of middleware solutions to enable the WIoT vision in a wide spectrum of heterogeneous scenarios, ranging from industrial environments to educational devices. The presented solutions provide readers with differentiated point of views, by demonstrating how the WIoT vision can be applied to several aspects of our daily life in a pervasive manner.
Download or read book Dependable Software Engineering Theories Tools and Applications written by Shengchao Qin and published by Springer Nature. This book was released on 2021-11-18 with total page 327 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021. The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
