510 search results - page 15 / 102 » An Algebraic Framework for Urgency |
152
click to vote
CAI
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we present an overview of algebraic graph transformation in the double pushout approach. Basic results concerning independence, parallelism, concurrency, embedding, ...
106
click to vote
TC
2008
15 years 1 months ago
2008
We provide an algebraic formalization of connectors in the BIP component framework. A connector relates a set of typed ports. Types are used to describe different modes of synchron...
CORR
2004
Springer
15 years 1 months ago
2004
Springer
A prototype for an extensible interactive graphical term manipulation system is presented that combines pattern matching and nondeterministic evaluation to provide a convenient fr...
106
click to vote
FSS
2010
15 years 16 days ago
2010
Extensions of monoidal t-norm logic MTL and related fuzzy logics with truth stresser modalities such as globalization and “very true” are presented here both algebraically in ...
IV
2009
IEEE
15 years 8 months ago
2009
IEEE
Suitable reference marks are an important part of creating an understandable visualization. The reference marks create the frame in which the data is understood, thereby preservin...