Results 251 to 260 of about 1,135,516 (291)
Some of the next articles are maybe not open access.
Formal Modeling of Virtual Machines
IEEE Transactions on Software Engineering, 1978A preliminary example of program development demonstrates that the control-independent implementation of data types can lead to very inefficient code. The concept of a data space, which emphasizes the interaction between data and control structures, is introduced as a formal model of virtual machines.
Cremers, Armin B., Hibbard, Thomas N.
openaire +2 more sources
Information and Software Technology, 1993
Abstract As the use of formal methods for computer systems development is now widely taught and commonly practised, their use for business process modelling is now considered. In the same way that formal system models are used to rationalize the implementations of complex computer systems, formal process models may be used to rationalize system ...
openaire +1 more source
Abstract As the use of formal methods for computer systems development is now widely taught and commonly practised, their use for business process modelling is now considered. In the same way that formal system models are used to rationalize the implementations of complex computer systems, formal process models may be used to rationalize system ...
openaire +1 more source
Interferenz im Arbeitsgedächtnis:Ein formales Modell
Psychologische Rundschau, 2010Zusammenfassung. Die Autoren stellen ein theoretisches Modell des Arbeitsgedächtnisses vor, das auf neuronalen Netzwerkmodellen beruht. Inhalte des Arbeitsgedächtnisses sind durch verteilte Muster neuronaler Aktivität repräsentiert. Bindungen zwischen Merkmalen eines Elements, und zwischen Inhaltselementen und ihren Kontexten, werden durch synchrones ...
Oberauer, Klaus, Kliegl, Reinhold
openaire +2 more sources
Facilitating "fuzzy to formal" requirements modelling
Proceedings of IEEE International Conference on Requirements Engineering, 2002Requirements specification methods and techniques have hitherto mainly been concerned with promoting various representation formalisms for formally describing information systems, and discussing their expressive power. However, this approach concentrates only partially on the problem.
J. Bubenko +3 more
openaire +4 more sources
2013
In this paper, we propose a formalisation of SysML blocks based on a state-rich process algebra that supports refinement, namely, CML. We first establish a set of guidelines of usage of SysML block definition and internal block diagrams. Next, we propose a formal semantics of SysML blocks described by diagrams that conform to our guidelines.
Miyazawa A., Lima L., Cavalcanti A.
openaire +1 more source
In this paper, we propose a formalisation of SysML blocks based on a state-rich process algebra that supports refinement, namely, CML. We first establish a set of guidelines of usage of SysML block definition and internal block diagrams. Next, we propose a formal semantics of SysML blocks described by diagrams that conform to our guidelines.
Miyazawa A., Lima L., Cavalcanti A.
openaire +1 more source
Formal Models of Biological Systems
2017Recent biomedical research studies are focused in the mechanisms by which misfolded proteins lead to the generation of oxidative stress in the form of reactive oxygen species (ROS), often implicated in neurodegenerative diseases and aging. Moreover, biological experiments are designed to investigate how proteostasis depends on the balance between the ...
Georgia, Theocharopoulou +2 more
openaire +2 more sources
Formal Specification and Verification of Autonomous Robotic Systems
ACM Computing Surveys, 2020Matt Luckcuck +2 more
exaly
A Survey of Smart Contract Formal Specification and Verification
ACM Computing Surveys, 2022Palina Tolmach, Yang Liu
exaly
Formal Methods in Railways: A Systematic Mapping Study
ACM Computing Surveys, 2023Alessio Ferrari, Maurice H Ter Beek
exaly