Search results for "Bigraph"

Found 18 publication records. Showing 18 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Lisa Walton, Michael F. Worboys	An Algebraic Approach to Image Schemas for Geographic Space.	COSIT	2009	DBLP DOI BibTeX RDF	Bigraph Models, Spatial Relations, Image Schemas, Built Environments
2	Zhiming Chang, XinJun Mao, Zhichang Qi	Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph.	ICYCS	2008	DBLP DOI BibTeX RDF
2	Zhiming Chang, XinJun Mao, Zhichang Qi	Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs.	WICSA	2008	DBLP DOI BibTeX RDF	Bigraph, Software Architecture, Reconfiguration
2	Andreas Brandstädt, Feodor F. Dragan, Hoàng-Oanh Le, Van Bang Le, Ryuhei Uehara	Tree Spanners for Bipartite Graphs and Probe Interval Graphs.	WG	2003	DBLP DOI BibTeX RDF	Chordal bipartite graph, Interval bigraph, Probe interval graph, Tree spanner, NP-completeness
2	Matthias F. M. Stallmann, Franc Brglez, Debabrata Ghosh	Heuristics and Experimental Design for Bigraph Crossing Number Minimization.	ALENEX	1999	DBLP DOI BibTeX RDF	Crossing number minimization in graphs, graph equivalence classes, design of experiments
2	Matthias F. M. Stallmann, Franc Brglez, Debabrata Ghosh	Evaluating iterative improvement heuristics for bigraph crossing minimization.	ISCAS	1999	DBLP DOI BibTeX RDF
1	Maxime Beauquier, Carsten Schürmann	A Bigraph Relational Model	LFMTP	2011	DBLP DOI BibTeX RDF
1	Huawei Zhai, Weishi Zhang, Licheng Cui, Jinyu Shi, Hui Li	Toward formal description to metro services mechanism based on bigraph models.	SoCPaR	2011	DBLP DOI BibTeX RDF
1	John G. Stell, Géraldine Del Mondo, Rémy Thibaud, Christophe Claramunt	Spatio-temporal Evolution as Bigraph Dynamics.	COSIT	2011	DBLP DOI BibTeX RDF
1	VinhTuan Thai, Siegfried Handschuh	Enhanced navigation and focus on TileBars with barycenter heuristic-based reordering.	AVI	2010	DBLP DOI BibTeX RDF	TileBars, barycenter heuristic, text exploration, reordering
1	Robin Milner	Bigraphical Categories.	CONCUR	2009	DBLP DOI BibTeX RDF	bigraph, ubiquitous computing, process, category
1	César de Pablo-Sánchez, Paloma Martínez	Building a Graph of Names and Contextual Patterns for Named Entity Classification.	ECIR	2009	DBLP DOI BibTeX RDF
1	Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi	Type Systems for Bigraphs.	TGC	2008	DBLP DOI BibTeX RDF
1	Zhiming Chang, XinJun Mao, Zhichang Qi	An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style.	TASE	2007	DBLP DOI BibTeX RDF
1	Ole Høgh Jensen, Robin Milner	Bigraphs and transitions.	POPL	2003	DBLP DOI BibTeX RDF	bigraph, mobile computation, reactive system, transition system, ?-calculus, bisimilarity
1	Nicole Portmann	How Many Steps Are Necessary to Separate a Bigraph?	J. Comb. Theory, Ser. B	2002	DBLP DOI BibTeX RDF
1	Matthias F. M. Stallmann, Franc Brglez, Debabrata Ghosh	Heuristics, Experimental Subjects, and Treatment Evaluation in Bigraph Crossing Minimization.	ACM Journal of Experimental Algorithmics	2001	DBLP DOI BibTeX RDF
1	Robin Milner	Bigraphical Reactive Systems.	CONCUR	2001	DBLP DOI BibTeX RDF