Informatik (15 755 Artikel)

Invited papers.- Positive Non-interference in Elementary and Trace Nets.- Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?.- Embedded Software: Better Models, Better Code.- Spe...

This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2005). The Petri net conferences serve to d...

4th Iberoamerican Conference, jAUTI 2015, and 6th Congress on Interactive Digital TV, CTVDI 2015, Palma de Mallorca, Spain, October 15-16, 2015. Revised Selected Papers

This book constitutes the refereed proceedings of the 5th Iberoamerican Conference on Applications and Usability of Interactive TV , jAUTI 2016, held in conjunction with the III International Congr...

The 11 full papers presented together with one invited talk paper were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on Design and Evaluati...

Applications for Artificial Intelligence and Digital Forensics in National Security

Applications for Artificial Intelligence and Digital Forensics in National Security

This practically-focused volume is an invaluable resource for all researchers, academics, data scientists and business professionals involved in the planning, designing, and implementation of big d...

This book constitutes the thoroughly refereed proceedings of the Second IEEE Colombian Conference, ColCACI 2019, held in Barranquilla, Colombia, in June 2019. The 21 full papers presented were care...

This book constitutes revised and extended selected papers of the Third IEEE Colombian Conference, ColCACI 2020, held in Cali, Colombia, August 2020. Due to the COVID-19 pandemic the conference was...

This book constitutes the thoroughly refereed proceedings of the First IEEE Colombian Conference, ColCACI 2018, held in Medellin, Colombia, in May 2018. The 17 full papers presented were carefully ...

This book constitutes revised and extended selected papers of the 4th IEEE Colombian Conference, ColCACI 2021, which was held virtually in Colombia at the end of May 2021. The 7 full papers present...

This book constitutes the refereed proceedings of the 5th IEEE Colombian Conference on Applications of Computational Intelligence, ColCACI 2022, held in Cali, Colombia during July 27-29, 2022. The ...

This book constitutes the refereed proceedings of the 6th IEEE Colombian Conference on Applications of Computational Intelligence, ColCACI 2023, held in Bogota, Colombia during July 2023.

This book addresses and examines the impacts of applications and services for data management and analysis, such as infrastructure, platforms, software, and business processes, on both academia and...