6 search results - page 1 / 2 » Reactive Systems over Directed Bigraphs |
30
Voted
CONCUR
2007
Springer
14 years 5 months ago
2007
Springer
We study the construction of labelled transition systems from reactive systems defined over directed bigraphs, a computational meta-model which subsumes other variants of bigraphs...
CONCUR
2008
Springer
14 years 21 days ago
2008
Springer
We develop a theory of sorted bigraphical reactive systems. Every application of bigraphs in the literature has required an extension, a sorting, of pure bigraphs. In turn, every s...
COORDINATION
2006
Springer
14 years 2 months ago
2006
Springer
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
AROBOTS
2010
13 years 11 months ago
2010
Locusts possess a bilateral pair of uniquely identifiable visual neurons that respond vigorously to the image of an approaching object. These neurons are called the lobula giant m...
TVCG
2008
13 years 10 months ago
2008
This paper describes the integration of perceptual guidelines from human vision with an AI-based mixed-initiative search strategy. The result is a visualization assistant called Vi...