COMPUTATION TOOLS 2014, The Fifth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking

Home // COMPUTATION TOOLS

Type: conference

Notes: IARIA Conference.

Editors:
Wolf Zimmermann, Martin-Luther University Halle-Wittenberg, Germany
Petre Dini, Concordia University, Canada | China Space Agency Center, China

ISSN: 2308-4170

ISBN: 978-1-61208-344-5

Location: Venice, Italy

Dates: from May 25, 2014 to May 29, 2014

Articles: there are 7 articles

Dessert, an Open-Source .NET Framework for Process-Based Discrete-Event Simulation
Giovanni Lagorio and Alessio Parma
keywords: Discrete-event simulation; .NET; Python

Tests as Documentation: a First Attempt at Quality Evaluation
Maura Cerioli and Giovanni Lagorio
keywords: Testing; Debugging.

Hardware Realization of Embedded Control Algorithm on FPGA
Róbert Krasňanský, Branislav Dvorščák, and Štefan Kozák
keywords: FPGA; PID controller; Spartan 6; DC motor; VHDL language

First-order Combinatorics Presenting a Conceptual Framework for Two Levels of Expressive Power of Predicate Logic
Mikhail Peretyatkin
keywords: first order logic; theory; finitely axiomatizable theory; computably axiomatizable theory; Tarski-Lindenbaum algebra; model-theoretic property; computation; first-order combinatorics

A Contextual Access Control Model for Online Social Network
Khalida Guesmia and Narhimene Boustia
keywords: Online social network; access control ;OrBAC; TLA,context.

First Steps towards Automated Synthesis of Tableau Systems for Interval Temporal Logics
Dario Della Monica, Angelo Montanari, Guido Sciavicco, and Dmitry Tishkovsky
keywords: Interval temporal logics; satisfiability; tableau systems; automated tableau system generation

Semi-Automated Task Planning in Metric Propositional Interval Neighborhood Logic
Laura González-García and Guido Sciavicco
keywords: Automated Planning; Interval Temporal Logics