Modeling formalisms in Systems Biology [PDF]
AMB Express, 2011 Systems Biology has taken advantage of computational tools and high-throughput experimental data to model several biological processes. These include signaling, gene regulatory, and metabolic networks. However, most of these models are specific to each kind of network.
Machado, Daniel +5 more
openaire +5 more sources
Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets
IEEE Access, 2018 The widespread use of sensor networks has enabled the deployment of a wide variety of services. In order to reduce maintenance costs without jeopardizing the reliability of the services, developers and researchers are exploring ways to reduce the ...
Maria Emilia Cambronero +3 more
doaj +1 more source
Transformation of UML Behavioral Diagrams to Support Software Model Checking [PDF]
, 2014 Unified Modeling Language (UML) is currently accepted as the standard for modeling (object-oriented) software, and its use is increasing in the aerospace industry.
Júnior, Valdivino Alexandre de Santiago +2 more
core +2 more sources
Modelling rational user behaviour as games between an angel and a demon [PDF]
, 2008 Formal models of rational user behavior are essential for user-centered reasoning about interactive systems. At an abstract level, planned behavior and reactive behavior are two important aspects of the rational behavior of users for which existing ...
Blandford, A., Curzon, P., Rukšenas, R.
core +1 more source
The myths and realities of Bayesian chronological modeling revealed [PDF]
, 2017 We review the history of Bayesian chronological modeling in archaeology and demonstrate that there has been a surge over the past several years in American archaeological applications.
Hamilton, W. Derek, Krus, Anthony M.
core +1 more source
A formal verification framework and associated tools for enterprise modeling : application to UEML [PDF]
, 2005 The aim of this paper is to propose and apply a verification and validation approach to Enterprise Modeling that enables the user to improve the relevance and correctness, the suitability and coherence of a model by using properties specification and ...
Allen +34 more
core +3 more sources
Strategic Ambiguity in the Social Sciences
Social Psychological Bulletin, 2023 In the wake of the replication crisis, there have been calls to increase the clarity and precision of theory in the social sciences. Here, we argue that the effects of these calls may be limited due to incentives favoring ambiguous theory.
Willem E. Frankenhuis +2 more
doaj +1 more source
TURTLE-P: a UML profile for the formal validation of critical and distributed systems [PDF]
, 2006 The timed UML and RT-LOTOS environment, or TURTLE for short, extends UML class and activity diagrams with composition and temporal operators. TURTLE is a real-time UML profile with a formal semantics expressed in RT-LOTOS.
Apvrille, Ludovic +2 more
core +1 more source
DPA on quasi delay insensitive asynchronous circuits: formalization and improvement [PDF]
, 2005 The purpose of this paper is to formally specify a flow devoted to the design of Differential Power Analysis (DPA) resistant QDI asynchronous circuits.
Bouesse, G. F. +3 more
core +2 more sources
Formal approach to modeling of modern information systems
International Journal of Information Systems and Project Management, 2022 Most recently, the concept of business documents has started to play double role. On one hand, a business document (word processing text or calculation sheet) can be used as specification tool, on the other hand the business document is an immanent ...
Bálint Molnár +2 more
doaj