4581 search results - page 368 / 917 » Computing Transformation Semigroups |
194
click to vote
COORDINATION
2005
Springer
16 years 1 months 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...
166
Voted
DGCI
2005
Springer
16 years 1 months 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 ...
176
Voted
ICN
2005
Springer
16 years 29 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...
161
Voted
AMAST
2004
Springer
16 years 26 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...
201
Voted
IPPS
2002
IEEE
16 years 11 days 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...