English
Related papers

Related papers: Modeling Time in Computing: A Taxonomy and a Compa…

200 papers

The increasing importance of such fields as embedded systems, pervasive computing, and hybrid systems control is increasing attention to the time-dependent aspects of system modeling. In this paper, we focus on modeling conceptual time.…

Software Engineering · Computer Science 2021-04-05 Sabah Al-Fedaghi

Computer systems can be found everywhere: in space, in our homes, in our cars, in our pockets, and sometimes even in our own bodies. For concerns of safety, economy, and convenience, it is important that such systems work correctly.…

Logic in Computer Science · Computer Science 2019-05-22 Mathias Ruggaard Pedersen

We present a different approach to developing a concept of time for specifying temporality in the conceptual modeling of software and database systems. In the database field, various proposals and products address temporal data. The…

Software Engineering · Computer Science 2021-02-02 Sabah Al-Fedaghi

Classical models of computation have been successful in capturing the very essence of individual computing devices. Although they are useful to understand computability power and limitations in the small, such models are not suitable to…

Logic in Computer Science · Computer Science 2025-08-26 Damian Arellanes

Over the last two decades, there has been an extensive study on logical formalisms for specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction. Although numerous logics have…

Logic in Computer Science · Computer Science 2013-08-06 Savas Konur

To understand large, connected systems, we cannot only zoom into the details. We also need to see the large-scale features from afar. One way to take a step back and get the whole picture is to model the systems as a network. However, many…

Physics and Society · Physics 2021-03-26 Petter Holme , Jari Saramäki

To provide a foundation for conceptual modeling, ontologies have been introduced to specify the entities, the existences of which are acknowledged in the model. Ontologies are essential components as mechanisms to model a portion of reality…

Artificial Intelligence · Computer Science 2020-07-21 Sabah Al-Fedaghi

The study of Complex Systems is considered by many to be a new scientific field, and is distinguished by being a discipline that has applications within many separate areas of scientific study. The study of Neural Networks, Traffic…

Networking and Internet Architecture · Computer Science 2007-05-23 Jeffrey B. Smith

A modeling formalism is proposed for the description and study of living and life-like systems. It provides an abstract conceptual model framework for real life and evolution of biological organisms. It is proposed, that this model…

Populations and Evolution · Quantitative Biology 2013-06-14 Margareta Segerståhl

Animals exploit time to survive in the world. Temporal information is required for higher-level cognitive abilities such as planning, decision making, communication, and effective cooperation. Since time is an inseparable part of cognition,…

Artificial Intelligence · Computer Science 2020-12-29 Hamit Basgol , Inci Ayhan , Emre Ugur

This book explores an alternative to the current dominant paradigm where a discrete computer model is constructed as an attempt to approximate some continuum theory. We focus on a class of discrete computer models that are based on simple…

Logic in Computer Science · Computer Science 2017-04-14 Garry Pantelis

Simulation especially real-time simulation have been widely used for the design and testing of real-time systems. The advancement of simulation tools has largely attributed to the evolution of computing technologies. With the reduced cost…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-05-07 Xi Zheng

The changing nature of power systems dynamics is challenging present practices related to modeling and study of system-level dynamic behavior. While developing new techniques and models to handle the new modeling requirements, it is also…

Systems and Control · Electrical Eng. & Systems 2023-08-10 Jose Daniel Lara , Rodrigo Henriquez-Auba , Deepak Ramasubramanian , Sairaj Dhople , Duncan S. Callaway , Seth Sanders

Biological processes involve a variety of spatial and temporal scales. A holistic understanding of many biological processes therefore requires multi-scale models which capture the relevant properties on all these scales. In this manuscript…

Molecular Networks · Quantitative Biology 2015-06-23 Jan Hasenauer , Nick Jagiella , Sabrina Hross , Fabian J. Theis

Approaching limitations of digital computing technologies have spurred research in neuromorphic and other unconventional approaches to computing. Here we argue that if we want to systematically engineer computing systems that are based on…

Emerging Technologies · Computer Science 2023-08-21 Herbert Jaeger , Beatriz Noheda , Wilfred G. van der Wiel

Quantitative social science is not only about regression analysis or, in general, data inference. Computer simulations of social mechanisms have a 60-year long history. They have been used for many different purposes -- to test scenarios,…

Physics and Society · Physics 2021-10-01 Petter Holme , Fredrik Liljeros

Recently, evolving networks are becoming a suitable form to model many real-world complex systems, due to their peculiarities to represent the systems and their constituting entities, the interactions between the entities and the…

Artificial Intelligence · Computer Science 2017-09-21 Angelo Impedovo , Corrado Loglisci , Michelangelo Ceci

Since the turn of the millennium, computational modelling of biological systems has evolved remarkably and sees matured use spanning basic and clinical research. While the topic of the peri-millennial debate about the virtues and…

Quantitative Methods · Quantitative Biology 2025-08-05 Axel Loewe , Peter J. Hunter , Peter Kohl

Conceptual modeling is an important part of information systems development and use that involves identifying and representing relevant aspects of reality. Although the past decades have experienced continuous digitalization of services and…

Human-Computer Interaction · Computer Science 2025-05-21 V. C. Storey , R. Lukyanenko , A. Castellanos

Complex systems typically have many different parts and facets, with different characteristics. In a multi-paradigm approach to modeling, formalisms with different natures are used in combination to describe complementary parts and aspects…

Logic in Computer Science · Computer Science 2013-08-14 Marcello M. Bersani , Carlo A. Furia , Matteo Pradella , Matteo Rossi
‹ Prev 1 2 3 10 Next ›