378 search results - page 56 / 76 » Formalizing Spider Diagrams |
167
click to vote
SOFSEM
2009
Springer
16 years 2 months ago
2009
Springer
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...
152
click to vote
ERSHOV
2009
Springer
16 years 17 days ago
2009
Springer
Kohn’s Molecular Interaction Maps (MIMs) are a graphical notation for describing bioregulatory networks at the molecular level. Even if the meaning of Kohn’s diagrams can be of...
168
click to vote
ISCAS
2006
IEEE
16 years 18 hour ago
2006
IEEE
— Reduced ordered Binary Decision Diagrams (BDDs) are a data structure for efficient representation and manipulation of Boolean functions. They are frequently used in logic synt...
178
click to vote
QSIC
2005
IEEE
15 years 11 months ago
2005
IEEE
Design notations play an important role in designing software. Agent UML (AUML), which extends the widelyused UML notation, has proposed a number of notations for modelling agent ...
159
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...