for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This volume constitutes the refereed proceedings of the 8th Workshop on... Læs mere
This book constitutes refereed proceedings of the 13th International... Læs mere
This two-volume ?set CCIS 1498 and CCIS 1499 contains the late breaking posters presented during the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held virtually in July 2021.
This book constitutes the thoroughly revised selected papers from the 17th... Læs mere
This book constitutes the refereed post-conference proceedings of the 7th Russian Supercomputing Days, RuSCDays 2021, held in Moscow, Russia, in September 2021.The 37 revised full papers and 3 short papers presented were carefully reviewed and selected from 99 submissions.
This book reviews existing operational software failure analysis techniques and proposes near-miss analysis as a novel, and new technique for investigating and preventing software failures.
Until now, there has been a lack of a complete knowledge base to fully comprehend Low power (LP) design and power aware (PA) verification techniques and methodologies and deploy them all together in a real design verification and implementation project.
Lastly, chapter 6 combines all this and describes how an (agile) SC can be developed and what it should include. To ensure that infrastructure managers, suppliers, consultants... Læs mere
This book constitutes the refereed proceedings of the 10th Software... Læs mere
This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and... Læs mere
It describes methods for predicting time usage in situations with high uncertainty, explains why two plus two... Læs mere