769 search results - page 10 / 154 » Simple Composition of Nets |
JWSR
2007
13 years 7 months ago
2007
: A major challenge for Service–oriented Computing is how to discover and compose (Web) services to build complex applications. We present a matchmaking system that exploits both...
RTA
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...
ATAL
2003
Springer
14 years 22 days ago
2003
Springer
Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these pro...
SG
2010
Springer
13 years 5 months ago
2010
Springer
We present a graphical user interface that allows an artist to virtually design and visualize net sculptures. Net sculptures consist of net pieces that are seamlessly connected to ...
ICALP
2004
Springer
14 years 26 days ago
2004
Springer
We study the random composition of a small family of O(n3 ) simple permutations on {0, 1}n . Specifically we ask what is the number of compositions needed to achieve a permutatio...