Download or read book Theoretical Aspects of Software Engineering written by Wei-Ngan Chin and published by Springer Nature. This book was released on with total page 486 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Cybernetics and Control Theory in Systems written by Radek Silhavy and published by Springer Nature. This book was released on with total page 843 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Software Architecture written by Matthias Galster and published by Springer Nature. This book was released on with total page 426 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Quality of Information and Communications Technology written by Antonia Bertolino and published by Springer Nature. This book was released on with total page 476 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Computer Aided Verification written by Arie Gurfinkel and published by Springer Nature. This book was released on with total page 597 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Semantic Web Technologies and Applications in Artificial Intelligence of Things written by Ortiz-Rodriguez, Fernando and published by IGI Global. This book was released on 2024-05-16 with total page 502 pages. Available in PDF, EPUB and Kindle. Book excerpt: The confluence of Artificial Intelligence of Things (AIoT) and Semantic Web technologies is nothing short of revolutionary. The profound impact of this synergy extends far beyond the realms of industry, research, and society; it shapes the very fabric of our future. Semantic Web Technologies and Applications in Artificial Intelligence of Things is a meticulously crafted reference that not only acknowledges this significance but also serves as a guide for those navigating the complexities of Industry 4.0 and AIoT. This curated compendium of cutting-edge technologies acts as a veritable knowledge base for future developments. As academics, scholars, and industry professionals, the ideal audience of this book, will find meticulously curated content that caters to their diverse interests and expertise, covering topics ranging from smart agriculture, manufacturing, industry, health sciences, and government. Seasoned academics, students, and visionary industry leaders, will find this book to be an indispensable guide that paves the way for innovation and progress.

Download or read book Systems Software and Services Process Improvement written by Murat Yilmaz and published by Springer Nature. This book was released on with total page 405 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Mathematical Modeling in Agriculture written by Sabyasachi Pramanik and published by John Wiley & Sons. This book was released on 2024-10-16 with total page 376 pages. Available in PDF, EPUB and Kindle. Book excerpt: The main goal of the book is to explore the idea behind data modeling in smart agriculture using information and communication technologies and tools to make agricultural practices more functional, fruitful and profitable. The research in the book looks at the likelihood and level of use of implemented technological components with regard to the adoption of different precision agricultural technologies. To identify the variables affecting farmers’ choices to embrace more precise technology, zero-inflated Poisson and negative binomial count data regression models were utilized. Outcomes from the count data analysis of a random sample of various farm operators show that various aspects, including farm dimension, farmer demographics, soil texture, urban impacts, farmer position of liabilities, and position of the farm in a state, were significantly associated with the approval severity and likelihood of precision farming technologies. Farm management information systems (FMIS) have constantly advanced in complexity as they have incorporated new technology, the most recent of which is the internet. However, few FMIS have fully tapped into the internet’s possibilities, and the newly developing idea of precision agriculture receives little or no support in the FMIS that are now being sold. FMIS for precision agriculture must meet a few more criteria beyond those of regular FMIS, which increases the technological complexity of these systems’ deployment in a number of ways. In order to construct an FMIS that meet these extra needs, the authors here evaluated various cutting-edge web-based methods. The goal was to determine the requirements that precision agriculture placed on FMIS.

Download or read book Dependable Software Engineering Theories Tools and Applications written by Holger Hermanns and published by Springer Nature. This book was released on 2023-12-14 with total page 448 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 9th International Symposium on Dependable Software Engineering, SETTA 2023, held in Nanjing, China, during November 27-29, 2023. The 24 full papers presented in this volume were carefully reviewed and selected from 78 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.

Download or read book Rigorous State Based Methods written by Silvia Bonfanti and published by Springer Nature. This book was released on 2024 with total page 405 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25-28, 2024. The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium.

Download or read book Information Security written by Elias Athanasopoulos and published by Springer Nature. This book was released on 2023-11-30 with total page 599 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 26th International Conference on Information Security, ISC 2023, which took place in Groningen, The Netherlands, in November 2023. The 29 full papers presented in this volume were carefully reviewed and selected from 90 submissions. The contributions were organized in topical sections as follows: privacy; intrusion detection and systems; machine learning; web security; mobile security and trusted execution; post-quantum cryptography; multiparty computation; symmetric cryptography; key management; functional and updatable encryption; and signatures, hashes, and cryptanalysis.

Download or read book Artificial Intelligence for Security written by Tuomo Sipola and published by Springer Nature. This book was released on with total page 373 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Advanced Information Networking and Applications written by Leonard Barolli and published by Springer Nature. This book was released on with total page 510 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Model and Data Engineering written by Mohamed Mosbah and published by Springer Nature. This book was released on 2024-01-22 with total page 399 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume LNCS 14396 constitutes the refereed proceedings of the 12th International Conference, MEDI 2023,in November 2023 ,held in Sousse, Tunisia. The 27 full papers were carefully peer reviewed and selected from 99 submissions. The Annual International Conference on Model and Data Engineering focuses on bring together researchers and practitioners and enabling them to showcase the latest advances in modelling and data management.

Download or read book Automated Technology for Verification and Analysis written by Étienne André and published by Springer Nature. This book was released on 2023-10-18 with total page 339 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.

Download or read book Collaborative Computing Networking Applications and Worksharing written by Honghao Gao and published by Springer Nature. This book was released on with total page 458 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Data and Applications Security and Privacy XXXVIII written by Anna Lisa Ferrara and published by Springer Nature. This book was released on with total page 347 pages. Available in PDF, EPUB and Kindle. Book excerpt: