Proceedings of Sixth International Congress on Information and Communication Technology

Proceedings of Sixth International Congress on Information and Communication Technology PDF Author: Xin-She Yang
Publisher: Springer Nature
ISBN: 9811621020
Category : Technology & Engineering
Languages : en
Pages : 883

Get Book Here

Book Description
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.

Proceedings of Sixth International Congress on Information and Communication Technology

Proceedings of Sixth International Congress on Information and Communication Technology PDF Author: Xin-She Yang
Publisher: Springer Nature
ISBN: 9811621020
Category : Technology & Engineering
Languages : en
Pages : 883

Get Book Here

Book Description
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.

The Application of Formal Methods

The Application of Formal Methods PDF Author: Simon Foster
Publisher: Springer Nature
ISBN: 3031671147
Category :
Languages : en
Pages : 388

Get Book Here

Book Description


Computer Security – ESORICS 2016

Computer Security – ESORICS 2016 PDF Author: Ioannis Askoxylakis
Publisher: Springer
ISBN: 3319457446
Category : Computers
Languages : en
Pages : 629

Get Book Here

Book Description
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.

Enterprise Information Systems

Enterprise Information Systems PDF Author: Joaquim Filipe
Publisher: Springer Nature
ISBN: 3030754189
Category : Computers
Languages : en
Pages : 932

Get Book Here

Book Description
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.

Information Technology and Systems

Information Technology and Systems PDF Author: Álvaro Rocha
Publisher: Springer
ISBN: 3030118908
Category : Technology & Engineering
Languages : en
Pages : 976

Get Book Here

Book Description
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.

Model-Driven Engineering and Software Development

Model-Driven Engineering and Software Development PDF Author: Francisco José Domínguez Mayo
Publisher: Springer Nature
ISBN: 303166339X
Category :
Languages : en
Pages : 187

Get Book Here

Book Description


New Perspectives in Software Engineering

New Perspectives in Software Engineering PDF Author: Jezreel Mejia
Publisher: Springer Nature
ISBN: 3031203224
Category : Technology & Engineering
Languages : en
Pages : 324

Get Book Here

Book Description
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.

Software Architecture

Software Architecture PDF Author: Carlos E. Cuesta
Publisher: Springer
ISBN: 3030007618
Category : Computers
Languages : en
Pages : 378

Get Book Here

Book Description
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.

Verification and Evaluation of Computer and Communication Systems

Verification and Evaluation of Computer and Communication Systems PDF Author: Kamel Barkaoui
Publisher: Springer
ISBN: 3319661760
Category : Computers
Languages : en
Pages : 218

Get Book Here

Book Description
​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.

Reliable Software Technologies – Ada-Europe 2016

Reliable Software Technologies – Ada-Europe 2016 PDF Author: Marko Bertogna
Publisher: Springer
ISBN: 331939083X
Category : Computers
Languages : en
Pages : 217

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016, held in Pisa, Italy, in June 2016. The revised 12 full papers presented together with one invited paper were carefully reviewed and selected from 28 submissions. They are organized in topical sections on concurrency and parallelism, testing and verification, program correctness and robustness, and real-time systems.