630 search results - page 92 / 126 » Oclets - Scenario-Based Modeling with Petri Nets |
167
click to vote
TCSB
2010
14 years 11 months ago
2010
Biomodel engineering is the science of designing, constructing and analyzing computational models of biological systems. It forms a systematic and powerful extension of earlier mat...
115
click to vote
CSL
1999
Springer
15 years 5 months ago
1999
Springer
This paper describes a new data structure, difference decision diagrams (DDDs), for representing a Boolean logic over inequalities of the form ¡£¢¥¤§¦©¨ and ¡¢¥¤Â...
117
click to vote
ICCAD
1994
IEEE
15 years 5 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
102
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
Chaining can reduce the number of iterations required for symbolic state-space generation and model-checking, especially in Petri nets and similar asynchronous systems, but require...
127
click to vote
FOSSACS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...