1195 search results - page 26 / 239 » Modeling an Algebraic Stepper |
114
click to vote
TOOLS
1999
IEEE
15 years 6 months ago
1999
IEEE
Class algebra provides a natural framework for sharing of ISA hierarchies between users that may be unaware of each other's definitions. This permits data from relational dat...
WSC
1994
15 years 3 months ago
1994
106
Voted
APLAS
2009
ACM
15 years 8 months ago
2009
ACM
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
135
Voted
TOPNOC
2008
15 years 1 months ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
98
Voted
DAGSTUHL
2006
15 years 3 months ago
2006
We present stochastic process algebra models of a Circadian clock mechanism used in many biological organisms to regulate time-based behaviour. We compare modelling techniques fro...