COMPUTATION TOOLS 2017, The Eighth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking

Home // COMPUTATION TOOLS

Type: conference

Notes: IARIA Conference.

Editors:
Claus-Peter Rückemann, Leibniz Universität Hannover / Westfälische Wilhelms-Universität Münster / North-German Supercomputing Alliance, Germany

ISSN: 2308-4170

ISBN: 978-1-61208-535-7

Location: Athens, Greece

Dates: from February 19, 2017 to February 23, 2017

Articles: there are 3 articles

Composite Event-Driven Programming
Fredy Cuenca
keywords: Multi-modal Systems; Multi-touch Systems; Interactive Systems; Event Languages; Composite Events

A Logic-based Service for Verifying Use Case Models
Fernando Bautista and Carlos Cares
keywords: Rule-based quality; UseCase verification; Logic-based services; XMI; Prolog

An Answer Set Solution for Information Security Management
Carlos Cares and Mauricio Diéguez
keywords: Information security; Controls selection; Answer setprogramming; Clingo