Vol. 37 · No. 6

  • 2018
  • 10 articles
  • pp. 1293–1535
  1. PDF
  2. PDF
  3. PDF
  4. PDF
  5. PDF
  6. Using Probabilistic Temporal Logic PCTL and Model Checking for Context Prediction

    Darine Ameyed, Moeiz Miraoui, Atef Zaguia, Fehmi Jaafar, Chakib Tadj

    pp. 1411–1442 https://doi.org/10.4149/cai_2018_6_1411

    PDF
  7. PDF
  8. ACP Semantics for Petri Nets

    Slavomír Šimoňák, Martin Tomášek

    pp. 1464–1484 https://doi.org/10.4149/cai_2018_6_1464

    PDF
  9. Web Person Name Disambiguation Using Social Links and Enriched Profile Information

    Hojjat Emami, Hossein Shirazi, Ahmad Abdollahzadeh Barforoush

    pp. 1485–1515 https://doi.org/10.4149/cai_2018_6_1485

    PDF
  10. Application of Advanced Information and Communication Technologies in a Local Flood Warning System

    Ivan Mrnčo, Peter Blštak, Peter Hudec, Matej Kochan, Tomáš Gibala, Ondrej Habala

    pp. 1516–1535 https://doi.org/10.4149/cai_2018_6_1516

    PDF