Modeling Time in Computing: A Taxonomy and a Comparative Survey

07/25/2008
by   Carlo A. Furia, et al.
0

The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a growing attention to the temporal aspects of computing, not only in the computer science domain, but also in more traditional fields of engineering. This article surveys various approaches to the formal modeling and analysis of the temporal features of computer-based systems, with a level of detail that is suitable also for non-specialists. In doing so, it provides a unifying framework, rather than just a comprehensive list of formalisms. The paper first lays out some key dimensions along which the various formalisms can be evaluated and compared. Then, a significant sample of formalisms for time modeling in computing are presented and discussed according to these dimensions. The adopted perspective is, to some extent, historical, going from "traditional" models and formalisms to more modern ones.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/01/2021

Modeling in Systems Engineering: Conceptual Time Representation

The increasing importance of such fields as embedded systems, pervasive ...
research
01/21/2020

A Comprehensive Study on Temporal Modeling for Online Action Detection

Online action detection (OAD) is a practical yet challenging task, which...
research
06/24/2020

Zur Modellierung und Klassifizierung von Kompetenzen in der grundlegenden Programmierausbildung anhand der Anderson Krathwohl Taxonomie

This research paper focusses on the competences expected from computer s...
research
11/12/2022

Significant Ties Graph Neural Networks for Continuous-Time Temporal Networks Modeling

Temporal networks are suitable for modeling complex evolving systems. It...
research
01/02/2023

What is Cognitive Computing? An Architecture and State of The Art

Cognitive Computing (COC) aims to build highly cognitive machines with l...
research
07/07/2020

Mathematical Foundations for Social Computing

Social computing encompasses the mechanisms through which people interac...
research
09/01/2019

Modeling and simulation of large-scale Systems: a systematic comparison of modeling paradigms

A trend across most areas where simulation-driven development is used is...

Please sign up or login with your details

Forgot password? Click here to reset