Results 21 to 30 of about 86,663 (296)
Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method
IEEE Access, 2021 We demonstrate the power of the simulation-based invariant verification technique through two case studies in which it is formally verified that two mutual exclusion protocols, MCS protocol and Anderson protocol, enjoy the mutual exclusion property by ...
Duong Dinh Tran +2 more
doaj +1 more source
Datatype defining rewrite systems for naturals and integers [PDF]
Logical Methods in Computer Science, 2021 A datatype defining rewrite system (DDRS) is an algebraic (equational) specification intended to specify a datatype. When interpreting the equations from left-to-right, a DDRS defines a term rewriting system that must be ground-complete.
Jan A. Bergstra, Alban Ponse
doaj +1 more source
A Mathematical Framework for Agent Based Models of Complex Biological Networks [PDF]
, 2010 Agent-based modeling and simulation is a useful method to study biological phenomena in a wide range of fields, from molecular biology to ecology. Since there is currently no agreed-upon standard way to specify such models it is not always easy to use ...
A. S. Jarrah +17 more
core +1 more source
On the algebra of structured specifications
Theoretical Computer Science, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Razvan Diaconescu, Ionut Tutu
openaire +1 more source
Symbolic BDD and ADD Algorithms for Energy Games [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Energy games, which model quantitative consumption of a limited resource, e.g., time or energy, play a central role in quantitative models for reactive systems.
Shahar Maoz +2 more
doaj +1 more source
Econometric profiles of testing of statistical hypotheses: model specification tests
Statistica, 2007 The paper, within the frame of econometric specification testing – after an excursus on criteria based on likelihood theory –, focuses on a pair of emblematic and virtually specular facets of the model specification and validation process. Indeed, within
Mario Faliva, Maria Grazia Zoia
doaj +1 more source
Maximum Segment Sum, Monadically (distilled tutorial) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 The maximum segment sum problem is to compute, given a list of integers, the largest of the sums of the contiguous segments of that list. This problem specification maps directly onto a cubic-time algorithm; however, there is a very elegant linear-time ...
Jeremy Gibbons
doaj +1 more source
Semantic Observation Integration
Future Internet, 2012 Although the integration of sensor-based information into analysis and decision making has been a research topic for many years, semantic interoperability has not yet been reached.
Werner Kuhn +3 more
doaj +1 more source
On the power of algebraic specifications [PDF]
, 1981 We study the expressive power of different algebraic specification methods. In contrast to (nonhierarchical) initial and terminal algebra specifications which correspond to semicomputable and cosemicomputable algebras, hierarchical specifications — as e.g.
Bergstra, J.A. +3 more
openaire +2 more sources
A Procedure for Splitting Processes and its Application to Coordination [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We present a procedure for splitting processes in a process algebra with multi-actions (a subset of the specification language mCRL2). This splitting procedure cuts a process into two processes along a set of actions A: roughly, one of these processes ...
Sung-Shik T.Q. Jongmans +2 more
doaj +1 more source