660 search results - page 52 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
111
Voted
CALCO
2009
Springer
15 years 9 months ago
2009
Springer
We generalize the unfolding semantics, previously developed for concrete formalisms such as Petri nets and graph grammars, to the setting of (single pushout) rewriting over adhesiv...
123
Voted
STACS
1991
Springer
15 years 6 months ago
1991
Springer
Several relation-algebraic algorithms for computing the cut completion of a partially ordered set are formally developed and afterwards generalized to the case of concept lattices....
112
click to vote
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
158
click to vote
CHI
1997
ACM
15 years 6 months ago
1997
ACM
MOBI-D (Model-Based Interface Designer) is a software environment the design and development of user interfaces from declarative interface models. End-users informally describe ta...
130
Voted
APCCM
2006
15 years 3 months ago
2006
UML is posited as the "swiss army knife" for systems modelling and design activities. It embodies a number of modelling formalisms that have broad applicability in captu...