Testing Software and Systems: 32nd Ifip Wg 6.1 International Conference, Ictss 2020, Naples, Italy, December 9-11, 2020, Proceedings, Casola Valentina, de Benedictis Alessandra, Rak Massimiliano
Описание: This book constitutes the refereed proceedings of the 32nd International Conference on Advanced Information Systems Engineering, CAiSE 2020, held in Grenoble, France, in June 2020.*The 33 full papers presented in this volume were carefully reviewed and selected from 185 submissions.
Описание: User-Centred Design Approaches.- An Agile Framework Towards Inclusion. Supporting teachers working in an inclusive learning environment.- A Generic Visualization Approach Supporting Task-based Evaluation of Usability and User Experience.- Digitalisation of Training Tasks and Specification of the Behaviour of a Social Humanoid Robot as Coach.- Model-based and model-driven approaches.- A Generic Multimodels-Based Approach for the Analysis of Usability and Security of Authentication Mechanisms.- Model-based Product Configuration in Augmented Reality Applications.- A scrum-based development process to support co-creation with elders in the eHealth domain.- BPMN Extensions and Semantic Annotation in Public Administration Service Design.- Software development strategies.- Identifying the Mood of a Software Development Team by Analyzing Text-Based Communication in Chats with Machine Learning.- Towards super user-centred continuous delivery: a case study.- Design Decisions by Voice: The Next Step of Software Architecture Knowledge Management.- Poster and demos.- Towards a Trustworthy Patient Home-Care thanks to an Edge-Node Infrastructure.- Paying the Pink Tax on a Blue Dress - Exploring Gender-based Price-Premiums in Fashion Recommendations.- Wearable Touchscreens to Integrate Augmented Reality and Tablets for Work Instructions?.- ProConAR: A Tool Support for Model-based AR Product Configuration-. An Augmented and Virtual Reality Object Repository for Rapid Prototyping.
Описание: This book constitutes the refereed proceedings of the IFIP WG 8.2, 9.1, 9.4 Joint Working Conference on the Future of Digital Work: The Challenge of Inequality, IFIPJWC 2020, which was supposed to be held in Hyderabad, India, in December 2020, but was held virtually due to the COVID-19 pandemic.
Описание: This book constitutes the refereed proceedings of the 13th IFIP WG 11.11 International Conference on Trust Management, IFIPTM 2019, held in Copenhagen, Denmark, in July 2019. The 7 revised full papers, 3 short papers, and 6 work-in-progress papers presented were carefully reviewed and selected from 32 submissions.
Описание: This book constitutes the refereed post-conference proceedings of the Second IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2019, held in Tampa, USA, in October/ November 2019. The 11 full papers presented were carefully reviewed and selected from 22 submissions.
Описание: This book constitutes the refereed post-conference proceedings of the Second IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2019, held in Tampa, USA, in October/ November 2019. The 11 full papers presented were carefully reviewed and selected from 22 submissions.
Описание: The two-volume set IFIP AICT 591 and 592 constitutes the refereed proceedings of the International IFIP WG 5.7 Conference on Advances in Production Management Systems, APMS 2020, held in Novi Sad, Serbia, in August/September 2020. The 164 papers presented were carefully reviewed and selected from 199 submissions.
Full Papers.- Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego.- Towards Bridging Time and Causal Reversibility.- Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.- Conformance-Based Doping Detection for Cyber-Physical Systems.- On Implementable Timed Automata?.- Deep Statistical Model Checking.- Trace Equivalence and Epistemic Logic to Express Security Properties.- Derivation of Heard-Of Predicates From Elementary Behavioral Patterns.- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities.- A Formal Framework for Consent Management.- Tutorials.- Tutorial: Parameterized Verification with Byzantine Model Checker.- Typechecking Java Protocols with [St]Mungo.- Short Paper.- Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper).
Описание: This book constitutes the refereed proceedings of the 35th IFIP TC 11 International Conference on Information Security and Privacy Protection, SEC 2020, held in Maribor, Slovenia, in September 2020. The papers present novel research on theoretical and practical aspects of security and privacy protection in ICT systems.
Описание: This book constitutes the refereed proceedings of the 13th IFIP WG 5.11 International Symposium on Environmental Software Systems, ISESS 2020, held in Wageningen, The Netherlands, in February 2020. The 22 full papers and 3 short papers were carefully reviewed and selected from 29 submissions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
