4581 search results - page 368 / 917 » Computing Transformation Semigroups |
168
click to vote
COORDINATION
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We present a framework for modelling heterogeneous distributed systems using graph transformations in the Synchronized Hyperedge Replacement approach, which describes com...
154
click to vote
DGCI
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Reversible polyhedral modelling of discrete objects is an important issue to handle those objects. We propose a new algorithm to compute a polygonal face from a discrete ...
161
click to vote
ICN
2005
Springer
16 years 10 days ago
2005
Springer
In this paper, we propose a novel, cluster-based energy balancing scheme. We assume the existence of a fraction of “strong” nodes in terms of abundant storage, computing and co...
151
click to vote
AMAST
2004
Springer
16 years 7 days ago
2004
Springer
We develop an equational definition of exception monads that characterizes Moggi’s exception monad transformer. This axiomatization is then used to define an extension of previ...
182
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper discusses concept lattices and some of their applications in component library development and compiler optimizations. Ongoing work on concept-based userextensible simp...