Pengarang: Enrico Vicario

With the recent advances in multimedia technology, on-line libraries of digital images are assuming an ever increasing relevance within a wide range of information systems. Effective access to such …

This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015. The …

This book constitutes the refereed proceedings of the 7th Workshop on New Frontiers in Quantitative Methods in Informatics, Inf Q 2017, held in Venice, Italy, in December 2017.The 11 revised full …