Formal Modeling and Analysis of Timed Systems: 18th International Conference, Formats 2020, Vienna, Austria, September 1-3, 2020, Proceedings, Bertrand Nathalie, Jansen Nils
Knowledge Management.- Big Data, Databases.-Expert System.- Information System.- Information Retrieval.- Digital Libraries.- Mobile Computing.- Pervasive Computing.- Semantic.- Data Visualization.- Web Services.
Описание: 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.
Автор: Franck Cassez; Claude Jard Название: Formal Modeling and Analysis of Timed Systems ISBN: 354085777X ISBN-13(EAN): 9783540857778 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Includes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. This book contains 17 papers that were presented together with 3 invited talks and selected from 37 submissions.
Автор: ?tienne Andr?; Mari?lle Stoelinga Название: Formal Modeling and Analysis of Timed Systems ISBN: 303029661X ISBN-13(EAN): 9783030296612 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019. The 15 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions.
Описание: This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, CMSB 2020, held in Konstanz, Germany, in September 2020.*The 17 full papers and 5 tool papers were carefully reviewed and selected from 30 submissions.
Описание: This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions.
Описание: Visionary Papers.- SPI Manifesto and Improvement Strategies.- SPI and Emerging Software and Systems Engineering Paradigms.- SPI and Standards and Safety and Security Norms.- SPI and Team Performance & Agile & Innovation.- SPI and Agile.- Emerging Software Engineering Paradigms.- Digitalisation of Industry, Infrastructure and E-Mobility.- Good and Bad Practices in Improvement.- Functional Safety and Cybersecurity.- Experiences with Agile and Lean.- Standards and Assessment Models.- Recent Innovations.- Virtual Reality.
Описание: Full Papers.- Reinforcement Learning based Group Event Invitation Algorithm.- OSCD: An Online Charging Scheduling Algorithm to Optimize Cost and Smoothness.- Maximizing The Expected In uence in Face of The Non-Progressive Adversary.- A Novel Anti-attack Revenue Optimization Algorithm in the Proof-of-work based Blockchain.- Can the Max-Min Fair Allocation be Trustful in a Centralized Resource System.- A Novel Blockchain Network Structure Based on Logical Nodes.- Dynamic Distribution Routing Algorithm Based on Probability for Maritime Delay Tolerant Networks.- Learning-Aided Mobile Charging for Rechargeable Sensor Networks.- A Social Relationship Enabled Cooperative Jamming Scheme for Wireless Communications.- Multi-Job Associated Task Scheduling based on Task Duplication and Insertion for Cloud Computing.- Communication-Efficient and Privacy-Preserving Protocol for Computing Over-Threshold Set-Union.- Approximation Algorithm for the Offloading Problem in Edge Computing.- Quality of Service Optimization in Mobile Edge Computing Networks via Deep Reinforcement Learning.- Camera Style Guided Feature Generation for Person Re-Identification.- Sync or Fork: Node-Level Synchronization Analysis of Blockchain.- Multi-user Cooperative Computation Offloading in Mobile Edge Computing.- SDTCNs: A Symmetric Double Temporal Convolutional Network for Chinese NER.- Verifiable Encrypted Search with Forward Secure Updates for Blockchain-based System.- Capacity Analysis of Ambient Backscatter System with Bernoulli Distributed Excitation.- Multiset Synchronization with Counting Cuckoo Filters.- Privacy-Aware Online Task Offloading for Mobile-Edge Computing.- A Class Incremental Temporal-Spatial Model Based on Wireless Sensor Networks for Activity Recognition.- Sensor Deployment for Composite Event Monitoring in Battery-free Sensor Networks.- Optimizing Motion Estimation With an ReRAM-based PIM Architecture.- Trajectory-based Data Delivery Algorithm in Maritime Vessel Networks based on Bi-LSTM.- Cold start and Learning Resource Recommendation Mechanism Based on Opportunistic network in the context of campus collaborative learning.- Outsourced Multi-Authority ABE with White-box Traceability for Cloud-IoT.- Deep Learning Enabled Quickest Detection of Identity Spoo ng Attacks.- On-Line Learning-Based Allocation of Base Stations and Channels in Cognitive Radio Networks.- A Deep Spatial-Temporal Network for Vehicle Trajectory Prediction.- Beamforming for MISO Cognitive Radio Networks Based on Successive Convex Approximation.- K-Anonymous Privacy Preserving Scheme Based on Bilinear Pairings over Medical Data.- Incentive Mechanism for Socially-Aware Mobile Crowdsensing: A Bayesian Stackelberg Game.- Adaptive Task Scheduling via End-Edge-Cloud Cooperation in Vehicular Networks.- An improved parallel network tra c anomaly detection method based on Bagging and GRU.- Joint Server Selection and SFC Routing for Anycast in NFV-enabled SDNs.- Blockchain-based Privacy-preserving Dynamic Spectrum Sharing.- A Survey: Applications of Blockchains in the Internet of Vehicles.- A Secure Topology Control Mechanism for SDWSNs Using Identity-based Cryptography.- A Blockchain-Based Decentralized Public Auditing Scheme for Cloud Storage.- A New Fully Homomorphic Signatures from Standard Lattices.- An Efficient Malicious User Detection Mechanism for Crowdsensing System.- Implementation of Video Transmission over Maritime Ad Hoc Network.- A Reliable Multi-task Allocation Based on Reverse Auction for Mobile Crowdsensing.- A Blockchain based Privacy-Preserving Cloud Service Level Agreement Auditing Scheme.- CPBA: An Efficient Conditional Privacy-preserving Batch Authentication Scheme for VANETs.- Consensus in Wireless Blockchain System.- Blockchain-based Service Recommendation Supporting Data Sharing.- Multi-objective disaster backup in inter-datacenter using reinforcement learning.- Detecting Internet-scale NATs for IoT Devices Based on Tri-net.- Data integrity
Описание: The papers are grouped in topical sections on world wide web, recommendation, query processing and algorithm, natural language processing, machine learning, graph query, edge computing and data mining, data privacy and security, and blockchain.
Описание: The two-volume set LNCS 12385 + 12386 constitutes the proceedings of the 15th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2020, which was held during September 13-15, 2020. The 67 full and 14 short papers presented in these proceedings were carefully reviewed and selected from 216 submissions.
Описание: This book constitutes the proceedings of the 18th International Conference on Business Process Management, BPM 2020, held in Seville, Spain, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 27 full papers included in this volume were carefully reviewed and selected from 125 submissions.
Описание: This book constitutes the proceedings of the 25th International Symposium on Foundations of Intelligent Systems, ISMIS 2020, held in Graz, Austria, in October 2020.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
