Описание: This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019. The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions.
The three-volume set LNCS 12681-12683 constitutes the proceedings of the 26th International Conference on Database Systems for Advanced Applications, DASFAA 2021, held in Taipei, Taiwan, in April 2021.
The total of 156 papers presented in this three-volume set was carefully reviewed and selected from 490 submissions.
The topic areas for the selected papers include information retrieval, search and recommendation techniques; RDF, knowledge graphs, semantic web, and knowledge management; and spatial, temporal, sequence, and streaming data management, while the dominant keywords are network, recommendation, graph, learning, and model. These topic areas and keywords shed the light on the direction where the research in DASFAA is moving towards.
Due to the Corona pandemic this event was held virtually.
The three-volume set LNCS 12681-12683 constitutes the proceedings of the 26th International Conference on Database Systems for Advanced Applications, DASFAA 2021, held in Taipei, Taiwan, in April 2021.
The total of 156 papers presented in this three-volume set was carefully reviewed and selected from 490 submissions.
The topic areas for the selected papers include information retrieval, search and recommendation techniques; RDF, knowledge graphs, semantic web, and knowledge management; and spatial, temporal, sequence, and streaming data management, while the dominant keywords are network, recommendation, graph, learning, and model. These topic areas and keywords shed the light on the direction where the research in DASFAA is moving towards.
Due to the Corona pandemic this event was held virtually.
Описание: This book constitutes the proceedings of the 26th International Conference on Computing and Combinatorics, COCOON 2020, held in Atlanta, GA, USA, in August 2020. Due to the COVID-19 pandemic COCOON 2020 was organized as a fully online conference.
Описание: Improving event data quality in coherence with business requirements (BPMDS 2021).- From Network Traffic Data to Business Activities: A Process Mining Driven Conceptualization.- A NLP-oriented Methodology to Enhance Event Log Quality .- Enhancing the value of data in processes improvement (BPMDS 2021).- Detecting and Understanding Branching Frequency Changes in Process Models.- Detecting the "Split-Cases" Workaround in Event Logs.- "Towards a Content-Based Process Mining Approach in Personal Services.- Event stream and predictive monitoring (BPMDS 2021).- Generating Reliable Process Event Streams and Time Series Data based on Neural Networks.- Inter-Case Properties and Process Variant Considerations in Time Prediction: A Conceptual Framework.- Towards Reliable Business Process Simulation: A Framework to Integrate ERP Systems.- Modeling languages and reference models (BPMDS 2021).- Supporting Data-Aware Processes with MERODE.- Evaluating Perceived Usefulness and Ease of Use of CMMN and DCR.- Subject-Oriented Reference Model for Virtual Factory Operations Commissioning.- Enterprise Modeling (EMMSAD 2021).- Participatory Modeling From a Stakeholder Perspective: On the Influence of Collaboration and Revisions On Psychological Ownership and Perceived Model Quality.- Reference Service Model for Federated Identity Management.- Traceability from the Business Value Model to the Enterprise Architecture: A Case Study.- Design Thinking and Enterprise Modeling: An Investigation of Eight Enterprise Architecture Management Projects.- Handling Models and Modeling Methods (EMMSAD 2021).- Formalizing Conceptual Modeling Methods with MetaMorph.- Situation-specific Business Model Development Methods for Mobile App Developers.- Searching for Class Models.- From Mental Models to Machine Learning Models via Conceptual Models.- Threat and Evidence Modeling (EMMSAD 2021).- Towards Measuring Test Coverage of Attack Simulations.- Murder, She Modeled: Modeling to Support Crimino-Forensic Processes. - Model-Driven Engineering & Applications (EMMSAD 2021).- Model-Driven Engineering: A State of A airs and Research Agenda.- FloWare: an Approach for IoT Support and Application Development.- A Model-based Application for the Effective and Efficient Management of Data associated with Retina-Macula Pathology.- API Management Maturity of Low-Code Development Platforms.
Описание: This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020.
The three-volume set LNCS 12681-12683 constitutes the proceedings of the 26th International Conference on Database Systems for Advanced Applications, DASFAA 2021, held in Taipei, Taiwan, in April 2021.
The total of 156 papers presented in this three-volume set was carefully reviewed and selected from 490 submissions.
The topic areas for the selected papers include information retrieval, search and recommendation techniques; RDF, knowledge graphs, semantic web, and knowledge management; and spatial, temporal, sequence, and streaming data management, while the dominant keywords are network, recommendation, graph, learning, and model. These topic areas and keywords shed the light on the direction where the research in DASFAA is moving towards.
Due to the Corona pandemic this event was held virtually.
Описание: This book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021, held in Paris, France, in August 2021. The 8 full papers that were carefully reviewed and selected from 19 submissions are presented in this volume with 2 invited talks.
Описание: This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021.The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions.
Описание: This book constitutes the refereed proceedings of the 26th China Conference on Information Retrieval, CCIR 2020, held in Xi`an, China, in August 2020.*The 12 full papers presented were carefully reviewed and selected from 102 submissions.
Описание: This book constitutes the proceedings of the 20th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2021, held in Elk, Poland, September 24-26, 2021. Additionally, the reader will find interesting papers on computer information systems, biometrics, security systems, and sensor network service.
Описание: This book constitutes the refereed proceedings of the 7th EAI International Conference on Industrial Networks and Intelligent Systems, INISCOM 2021, held in Hanoi, Vietnam, in April 2021. The 39 full papers were selected from XX submissions and are organized thematically in tracks on telecommunications systems and networks;
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
