DataSys 2017
June 25 - 29, 2017- Venice, Italy

  • AICT 2017, The Thirteenth Advanced International Conference on Telecommunications
  • ICIW 2017, The Twelfth International Conference on Internet and Web Applications and Services
  • ICIMP 2017, The Twelfth International Conference on Internet Monitoring and Protection
  • SMART 2017, The Sixth International Conference on Smart Cities, Systems, Devices and Technologies
    • URBAN COMPUTING 2017, The International Symposium on Emerging Frontiers of Urban Computing and Smart Cities
  • IMMM 2017, The Seventh International Conference on Advances in Information Mining and Management
    • DATASETS 2017, The International Symposium on Designing, Validating, and Using Datasets
  • INFOCOMP 2017, The Seventh International Conference on Advanced Communications and Computation
    • MODOPT 2017, The International Symposium on Modeling and Optimization
  • MOBILITY 2017, The Seventh International Conference on Mobile Services, Resources, and Users
  • SPWID 2017, The Third International Conference on Smart Portable, Wearable, Implantable and Disability-oriented Devices and Systems
  • ACCSE 2017, The Second International Conference on Advances in Computation, Communications and Services

InfoWare 2017
July 23 - 27, 2017 - Nice, France

  • ICCGI 2017, The Twelfth International Multi-Conference on Computing in the Global Information Technology
  • ICWMC 2017, The Thirteenth International Conference on Wireless and Mobile Communications
  • VEHICULAR 2017, The Sixth International Conference on Advances in Vehicular Systems, Technologies and Applications
  • INTERNET 2017, The Ninth International Conference on Evolving Internet
  • COLLA 2017, The Seventh International Conference on Advanced Collaborative Networks, Systems and Applications
  • INTELLI 2017, The Sixth International Conference on Intelligent Systems and Applications
    • InManEnt 2017, The International Symposium on Intelligent Manufacturing Environments
  • VISUAL 2017, The Second International Conference on Applications and Systems of Visual Paradigms
  • HUSO 2017, The Third International Conference on Human and Social Analytics
  • BRAININFO 2017, The Second International Conference on Neuroscience and Cognitive Brain Information

NetWare 2017
September 10 - 14, 2017 - Rome, Italy

  • SENSORCOMM 2017, The Eleventh International Conference on Sensor Technologies and Applications
  • SENSORDEVICES 2017, The Eighth International Conference on Sensor Device Technologies and Applications
  • SECURWARE 2017, The Eleventh International Conference on Emerging Security Information, Systems and Technologies
  • AFIN 2017, The Ninth International Conference on Advances in Future Internet
  • DEPEND 2017, The Tenth International Conference on Dependability
  • CENICS 2017, The Tenth International Conference on Advances in Circuits, Electronics and Micro-electronics
  • ICQNM 2017, The Eleventh International Conference on Quantum, Nano/Bio, and Micro Technologies
  • FASSI 2017, The Third International Conference on Fundamentals and Advances in Software Systems Integration
  • GREEN 2017, The Second International Conference on Green Communications, Computing and Technologies

SoftNet 2017
October 8 - 12, 2017- Athens, Greece

  • ICSEA 2017, The Twelfth International Conference on Software Engineering Advances
  • ICSNC 2017, The Twelfth International Conference on Systems and Networks Communications
  • CENTRIC 2017, The Tenth International Conference on Advances in Human-oriented and Personalized Mechanisms, Technologies, and Services
  • VALID 2017, The Ninth International Conference on Advances in System Testing and Validation Lifecycle
  • SIMUL 2017, The Ninth International Conference on Advances in System Simulation
  • SOTICS 2017,The Seventh International Conference on Social Media Technologies, Communication, and Informatics
  • INNOV 2017, The Sixth International Conference on Communications, Computation, Networks and Technologies
  • HEALTHINFO 2017, The Second International Conference on Informatics and Assistive Technologies for Health-Care, Medical Support and Wellbeing

NexTech 2017
November 12 - 16, 2017 - Barcelona, Spain

  • UBICOMM 2017, The Eleventh International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies
  • ADVCOMP 2017, The Eleventh International Conference on Advanced Engineering Computing and Applications in Sciences
  • SEMAPRO 2017, The Eleventh International Conference on Advances in Semantic Processing
  • AMBIENT 2017, The Seventh International Conference on Ambient Computing, Applications, Services and Technologies
  • EMERGING 2017, The Ninth International Conference on Emerging Networks and Systems Intelligence
  • DATA ANALYTICS 2017, The Sixth International Conference on Data Analytics
  • GLOBAL HEALTH 2017, The Sixth International Conference on Global Health Challenges
  • CYBER 2017, The Second International Conference on Cyber-Technologies and Cyber-Systems

 


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

Type: conference

Download: COMPUTATION TOOLS 2014 cover page

Download: COMPUTATION TOOLS 2014 foreword page

Download: COMPUTATION TOOLS 2014 committee page

Download: COMPUTATION TOOLS 2014 table of contents

Download: COMPUTATION TOOLS 2014 full proceedings

Notes: IARIA Conference.

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

Event editions: - there are 8 editions.

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

SERVICES CONTACT
2010 - 2015 © ThinkMind. All rights reserved.
Read Terms of Service and Privacy Policy.