Wyniki wyszukiwania:

This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016. The six workshops whose papers are included in this volume are: DataMod, GCM, HOFM, MELO, SEMS, and VeryComp. The 33 full and 3 short papers presented were carefully reviewed and selected from 53 submissions. They focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software...

This book constitutes the proceedings of the 8th International Conference on Intelligent Transport Systems, INTSYS 2024, held in Pisa, Italy, duirng December 5-6, 2024.  The 25 full papers  presented in this book were carefully reviewed and selected from 60 submissions. The papers are organized in the following topical sections: smart technologies; traceability; traffic forecasting and control; road safety; regulations and policies; autonomous vehicles; model-based analysis for cooperative transportation under uncertainty and threats.