Tags
Language
Tags
September 2022
Su Mo Tu We Th Fr Sa
28 29 30 31 1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28 29 30 1

Software Architecture

Posted By: AvaxGenius
Software Architecture

Software Architecture: 16th European Conference, ECSA 2022, Prague, Czech Republic, September 19–23, 2022, Proceedings by Ilias Gerostathopoulos, Grace Lewis, Thais Batista, Tomáš Bureš
English | PDF,EPUB | 2022 | 225 Pages | ISBN : 3031166965 | 22 MB

This book constitutes the refereed proceedings of the 16th International Conference on Software Architecture, ECSA 2022, held in Prague in September 2022.
The 9 full papers and 6 short papers were carefully selected from 47 submissions.
In the Research Track, 11 full papers presented together with 5 short papers were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections as follows: components, APIs and interface management; architecting for data-driven systems; microservices and middleware; architecture modeling, design and decision making; architecture reconstruction and recovery.

Quantitative Evaluation of Systems

Posted By: AvaxGenius
Quantitative Evaluation of Systems

Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings by Erika Ábrahám, Marco Paolieri
English | PDF,EPUB | 2022 | 406 Pages | ISBN : 3031163354 | 47.4 MB

This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.
The 19 full papers presented together with 1 keynote paper were carefully reviewed and selected from 44 submissions. The papers are organized in the following topics: program analysis; parameter synthesis; markovian agents and population models; dynamical systems; tools; applications and automata theory; and applications.

Biomedical Engineering Systems and Technologies

Posted By: AvaxGenius
Biomedical Engineering Systems and Technologies

Biomedical Engineering Systems and Technologies: 13th International Joint Conference, BIOSTEC 2020, Valletta, Malta, February 24–26, 2020, Revised Selected Papers by Xuesong Ye
English | EPUB | 2021 | 626 Pages | ISBN : 303072378X | 100.7 MB

This book constitutes extended and revised versions of the selected papers from the 13th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2020, held in Valletta, Malta, in February 2020.
The 29 revised and extended full papers presented were carefully reviewed and selected from a total of 363 submissions. The papers are organized in topical sections on biomedical electronics and devices; bioimaging; bioinformatics models, methods and algorithms; bio-inspired systems and signal processing; health informatic

Cloud Computing – CLOUD 2021

Posted By: AvaxGenius
Cloud Computing – CLOUD 2021

Cloud Computing – CLOUD 2021: 14th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings by Kejiang Ye
English | EPUB | 2022 | 117 Pages | ISBN : 303096325X | 8 MB

The 6 full papers and 1 short paper presented were carefully reviewed and selected from 25 submissions. They deal with the latest fundamental advances in the state of the art and practice of cloud computing, identify emerging research topics, and define the future of cloud computing.

Digital Democracy – IT for Change

Posted By: AvaxGenius
Digital Democracy – IT for Change

Digital Democracy – IT for Change: 53rd Annual Convention of the Computer Society of India, CSI 2020, Bhubaneswar, India, January 16–18, 2020, Revised Selected Papers by Prafulla Kumar Behera, Purna Chandra Sethi
English | PDF | 2021 | 121 Pages | ISBN : 9811627223 | 13.5 MB

The 3 revised full and 7 revised short papers, along with 1 poster paper, presented were carefully reviewed and selected from 144 submissions. The theme of CSI 2021, Digital Democracy – IT for Change, was selected to present the use of information and communication technology (ICT) in political and governance processes. The papers focus on topics such as digital democracy, digital communication, digital analytics and digital security.

Advanced Informatics for Computing Research

Posted By: AvaxGenius
Advanced Informatics for Computing Research

Advanced Informatics for Computing Research: 5th International Conference, ICAICR 2021, Gurugram, India, December 18–19, 2021, Revised Selected Papers by Ashish Kumar Luhach
English | EPUB | 2022 | 289 Pages | ISBN : 3031094689 | 39.4 MB

This volume constitutes selected and revised papers of the 5th International Conference on Advanced Informatics for Computing Research, ICAICR 2021, held in Gurugram, India, in December 2021.
The 17 revised full papers and 6 short papers presented were carefully reviewed and selected from 306 submissions. The papers targeted state-of-the-art as well as emerging topics pertaining to advanced informatics for computing research and its implementation for engineering applications.

Science and Technologies for Smart Cities

Posted By: AvaxGenius
Science and Technologies for Smart Cities

Science and Technologies for Smart Cities: 7th EAI International Conference, SmartCity360°, Virtual Event, December 2-4, 2021, Proceedings by Sara Paiva
English | EPUB | 2022 | 744 Pages | ISBN : 3031063708 | 127.4 MB

This book constitutes the refereed proceedings of the 7th Annual SmartCity360° Summit which was organized in November 2021 in Porto, Portugal. Due to COVID-19 pandemic the conference was held virtually. The volume combines selected papers of 6 conferences, namely EdgeIoT 2021 - International Conference on Intelligent Edge Processing in the IoT Era; IC4S 2021 - International Conference on Cognitive Computing and Cyber Physical Systems; SmartGov 2021 - International Conference on Smart Governance for Sustainable Smart Cities; SmartGift 2021 - International Conference on Smart Grid and Innovative Frontiers in Telecommunications; e PFSM 2021 - International Conference on Privacy and Forensics in Smart Mobility.

The Logic of Software. A Tasting Menu of Formal Methods

Posted By: AvaxGenius
The Logic of Software. A Tasting Menu of Formal Methods

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday by Wolfgang Ahrendt
English | PDF,EPUB | 2022 | 531 Pages | ISBN : 303108165X | 80.6 MB

This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.
After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations.

Digital Business and Intelligent Systems

Posted By: AvaxGenius
Digital Business and Intelligent Systems

Digital Business and Intelligent Systems: 15th International Baltic Conference, Baltic DB&IS 2022, Riga, Latvia, July 4–6, 2022, Proceedings by Mirjana Ivanovic
English | PDF | 2022 | 273 Pages | ISBN : 3031098498 | 21.1 MB

This book constitutes the refereed proceedings of the 15th International Baltic Conference on Digital Business and Intelligent Systems, Baltic DB&IS 2022, held in Riga, Latvia, in July 2022.

Advanced Informatics for Computing Research

Posted By: AvaxGenius
Advanced Informatics for Computing Research

Advanced Informatics for Computing Research: 5th International Conference, ICAICR 2021, Gurugram, India, December 18–19, 2021, Revised Selected Papers by Ashish Kumar Luhach
English | PDF | 2022 | 289 Pages | ISBN : 3031094689 | 29.5 MB

This volume constitutes selected and revised papers of the 5th International Conference on Advanced Informatics for Computing Research, ICAICR 2021, held in Gurugram, India, in December 2021.

Engineering Applications of Neural Networks

Posted By: AvaxGenius
Engineering Applications of Neural Networks

Engineering Applications of Neural Networks: 23rd International Conference, EAAAI/EANN 2022, Chersonissos, Crete, Greece, June 17–20, 2022, Proceedings by Lazaros Iliadis
English | PDF | 2022 | 544 Pages | ISBN : 3031082222 | 39 MB

This book constitutes the refereed proceedings of the 23rd International Conference on Engineering Applications of Neural Networks, EANN 2022, held in Chersonisos, Crete, Greece, in June 2022.
The 37 revised full papers and 5 revised short papers presented were carefully reviewed and selected from 72 submissions. The papers are organized in topical sections on Bio inspired Modeling / Novel Neural Architectures; Classification / Clustering; Machine Learning; Convolutional / Deep Learning; Datamining / Learning / Autoencoders; Deep Learning / Blockchain; Machine Learning for Medical Images / Genome Classification; Reinforcement /Adversarial / Echo State Neural Networks; Robotics / Autonomous Vehicles, Photonic Neural Networks; Text Classification / Natural Language.

Graph Transformation

Posted By: AvaxGenius
Graph Transformation

Graph Transformation: 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, Proceedings by Nicolas Behr
English | PDF | 2022 | 216 Pages | ISBN : 3031098420 | 10.6 MB

This book constitutes the refereed proceedings of the 15th International Conference on Graph Transformation, ICGT 2022, which took place Nantes, France in July 2022.
The 10 full papers and 1 tool paper presented in this book were carefully reviewed and selected from 19 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of graph transformation as well as tool presentation papers that demonstrate main new features and functionalities of graph-based tools.

Web Engineering

Posted By: AvaxGenius
Web Engineering

Web Engineering: 22nd International Conference, ICWE 2022, Bari, Italy, July 5–8, 2022, Proceedings by Tommaso Di Noia
English | PDF | 2022 | 513 Pages | ISBN : 3031099168 | 41.2 MB

This book constitutes the thoroughly refereed proceedings of the 22nd International Conference on Web Engineering, ICWE 2022, held in Bari, Italy, in July 2022.
The 23 revised full papers and 5 short papers presented were carefully reviewed and selected from 81 submissions. The books also contains 6 demonstration and poster papers, 7 symposium and 5 tutorial papers. They are organized in topical sections named: recommender systems based on web technology; social web applications; web applications modelling and engineering; web big data and web data analytics; web mining and knowledge extraction; web security and privacy; web user interfaces.

Science and Technologies for Smart Cities

Posted By: AvaxGenius
Science and Technologies for Smart Cities

Science and Technologies for Smart Cities: 7th EAI International Conference, SmartCity360°, Virtual Event, December 2-4, 2021, Proceedings by Sara Paiva
English | PDF | 2022 | 744 Pages | ISBN : 3031063708 | 90.3 MB

This book constitutes the refereed proceedings of the 7th Annual SmartCity360° Summit which was organized in November 2021 in Porto, Portugal. Due to COVID-19 pandemic the conference was held virtually. The volume combines selected papers of 6 conferences, namely EdgeIoT 2021 - International Conference on Intelligent Edge Processing in the IoT Era; IC4S 2021 - International Conference on Cognitive Computing and Cyber Physical Systems; SmartGov 2021 - International Conference on Smart Governance for Sustainable Smart Cities; SmartGift 2021 - International Conference on Smart Grid and Innovative Frontiers in Telecommunications; e PFSM 2021 - International Conference on Privacy and Forensics in Smart Mobility.

Reversible Computation

Posted By: AvaxGenius
Reversible Computation

Reversible Computation: 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings by Claudio Antares Mezzina
English | PDF | 2022 | 245 Pages | ISBN : 3031090047 | 8.1 MB

This book constitutes the refereed proceedings of the 14th International Conference on Reversible Computation, RC 2022, which was held in Urbino, Italy, during July 5-6, 2021.