This open access book improves the users' skills needed to implement models for performance evaluation of digital infrastructures. Building a model is usually a relatively easy task, but making it an ...accurate representation of the phenomenon to be reproduced is a completely different matter. It is well-known that to increase the ability to build reliable models it is necessary to accumulate experience. The book addresses this need by presenting a collection of case studies of increasing complexity. Readers are introduced to the modeling process gradually, learning the basic concepts step-by-step as they go through the case studies. Queueing Networks are used to design the models solved with simulation and analytical techniques from the open source Java Modelling Tools (JMT). Among the models analyzed there are systems for optimizing performance, identifying bottlenecks, evaluating the impact of the variability of traffic and service demands, analyzing the effects of synchronization policies in parallel computing. Four case studies derived from real-life scenarios are also presented: a surveillance system, autoscaling load fluctuations, web app workflow simulation, and crowd computing platform. This book serves as a reference tool for graduate and senior-level computer science students in courses of performance evaluation and modeling, as well as for researchers and practitioners.
This open access book constitutes the revised selected papers of the First International Symposium on AI, Data and Digitalization, SAIDD 2023, held in Sogndal, Norway, during May 9–10, 2023. The 13 ...full papers included in this volume were carefully reviewed and selected from 42 submissions. The papers deal with the impact of data and AI on the digital revolution and their contribution to solving societal challenges.
The question of the evaluation of the intervention on Musculoskeletal Disorders (MSD) and Psychosocial Risks (PSR) is a concern for all the actors for many years. The consultant is confronted with ...these complex subjects and he is often got into real trouble to identify the indicators of the sucess of the strategy he mobilized. The capitalization of interventions in our consulting firm for 25 years allowed us to identify five signals, the “first effects”. We suggest characterizing it from the example of an intervention in the sector of transport: a new sharing reading of the existing, a new appreciation of the value, an evolution of the area of the intervention to the managerial and organizing activities at work, an extension of the categories of actors “on board”, and a construction of new standards and management tools which integrate health and economic performance indicators.
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in ...July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.