Search results for "Bigraph"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
73	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
50	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
50	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
50	Zhiming Chang, XinJun Mao, Zhichang Qi	Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph.	ICYCS	2008	DBLP DOI BibTeX RDF
50	Matthias F. M. Stallmann, Franc Brglez, Debabrata Ghosh	Evaluating iterative improvement heuristics for bigraph crossing minimization.	ISCAS (6)	1999	DBLP DOI BibTeX RDF
50	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
44	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
44	Robin Milner	Bigraphical Reactive Systems.	CONCUR	2001	DBLP DOI BibTeX RDF
28	Robin Milner	Bigraphical Categories.	CONCUR	2009	DBLP DOI BibTeX RDF	bigraph, ubiquitous computing, process, category
28	Ole Høgh Jensen, Robin Milner	Bigraphs and transitions.	POPL	2003	DBLP DOI BibTeX RDF	bigraph, mobile computation, reactive system, transition system, ?-calculus, bisimilarity
28	Steve Paul, Nathan Maurer, Souma Chowdhury	Bigraph Matching Weighted with Learnt Incentive Function for Multi-Robot Task Allocation.	CoRR	2024	DBLP DOI BibTeX RDF
28	Andrea Altarui, Marino Miculan, Matteo Paier	DBCChecker: a Bigraph-based Tool for Checking Security Properties of Container Compositions.	ITASEC	2023	DBLP BibTeX RDF
28	Jiaxin Zhang 0006, Wei Yang	Spatial Foreground Bigraph Matching for Generalizable Person Re-identification.	ICANN (3)	2022	DBLP DOI BibTeX RDF
28	Alexandr V. Kostochka, Mikhail Lavrov, Ruth Luo, Dara Zirlin	Conditions for a Bigraph to be Super-Cyclic.	Electron. J. Comb.	2021	DBLP DOI BibTeX RDF
28	Gustavus J. Simmons	Two related (?) 2-edge-Hamiltonian bigraph conjectures.	Bull. ICA	2020	DBLP BibTeX RDF
28	Gustavus J. Simmons	Two related (?) 2-edge-Hamiltonian bigraph conjectures addendum.	Bull. ICA	2020	DBLP BibTeX RDF
28	Alessio Chiapperini, Marino Miculan, Marco Peressotti	A CSP implementation of the directed bigraph embedding problem.	CoRR	2020	DBLP BibTeX RDF
28	Dom Huh	Hierarchical BiGraph Neural Network as Recommendation Systems.	CoRR	2020	DBLP BibTeX RDF
28	Jiawei Lu, Huan Zhou, Haotian Zhu, Yuanming Zhang, Qianhui Liang, Gang Xiao 0001	DCEM: A data cell evolution model for service composition based on bigraph theory.	Future Gener. Comput. Syst.	2020	DBLP DOI BibTeX RDF
28	Chaoze Lu, Guosun Zeng, Ying-jie Xie	Bigraph specification of software architecture and evolution analysis in mobile computing environment.	Future Gener. Comput. Syst.	2020	DBLP DOI BibTeX RDF
28	Tim Pattison, Aaron Ceglar	Simultaneous, Polynomial-Time Layout of Context Bigraph and Lattice Digraph.	ICFCA	2019	DBLP DOI BibTeX RDF
28	Chaoze Lu, Guosun Zeng, Wen-Juan Liu	Software Evolution Rules with Condition Constrains to Support Component Type Matching Based on Bigraph.	Int. J. Softw. Eng. Knowl. Eng.	2018	DBLP DOI BibTeX RDF
28	Hanzhou Wu	Minimizing Embedding Distortion with Weighted Bigraph Matching in Reversible Data Hiding.	CoRR	2017	DBLP BibTeX RDF
28	Ishu Gupta, Ashutosh Kumar Singh 0001	A Probability based Model for Data Leakage Detection using Bigraph.	ICCNS	2017	DBLP DOI BibTeX RDF
28	Taha Abdelmoutaleb Cherfia, Faïza Belala, Kamel Barkaoui	A bigraph-based framework for specification and analysis of context-aware systems.	Int. J. Crit. Comput. Based Syst.	2016	DBLP DOI BibTeX RDF
28	Chris Stary, Dominik Wachholder	System-of-systems support - A bigraph approach to interoperability and emergent behavior.	Data Knowl. Eng.	2016	DBLP DOI BibTeX RDF
28	P. Hemalatha	Evenly Partite Directed Bigraph Factorization of Wreath Product of Graphs.	ICTCSDM	2016	DBLP DOI BibTeX RDF
28	Kaustuv Chaudhuri, Giselle Reis	An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials.	LPAR	2015	DBLP DOI BibTeX RDF
28	Dominik Wachholder, Chris Stary	Enabling emergent behavior in systems-of-systems through bigraph-based modeling.	SoSE	2015	DBLP DOI BibTeX RDF
28	Marino Miculan, Marco Peressotti	A CSP implementation of the bigraph embedding problem.	CoRR	2014	DBLP BibTeX RDF
28	Dominik Wachholder, Chris Stary	Bigraph-Ensured Interoperability for System(-of-Systems) Emergence.	OTM Workshops	2014	DBLP DOI BibTeX RDF
28	Zakaria Benzadri, Chafia Bouanaka, Faiza Belala	BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis.	ICAASE	2014	DBLP BibTeX RDF
28	Lian Yu, Wei-Tek Tsai, Xin Wei, Jerry Zeyu Gao 0002, Thomas T. Hildebrandt, Xiao Qun Guo	Modeling and Analysis of Mobile Cloud Computing Based on Bigraph Theory.	MobileCloud	2014	DBLP DOI BibTeX RDF
28	Taha Abdelmoutaleb Cherfia, Faiza Belala	Towards a Bigraph-Based Model for Context-Aware Adaptive Systems.	ECSA	2013	DBLP DOI BibTeX RDF
28	Changyun Li, Junfeng Man, Zhibing Wang	An Improved Method for Transaction Footprints Stripping with Bigraph System.	J. Softw.	2012	DBLP DOI BibTeX RDF
28	Lisa Walton, Michael F. Worboys	A Qualitative Bigraph Model for Indoor Space.	GIScience	2012	DBLP DOI BibTeX RDF
28	Maxime Beauquier, Carsten Schürmann	A Bigraph Relational Model	LFMTP	2011	DBLP DOI BibTeX RDF
28	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
28	John G. Stell, Géraldine Del Mondo, Rémy Thibaud, Christophe Claramunt	Spatio-temporal Evolution as Bigraph Dynamics.	COSIT	2011	DBLP DOI BibTeX RDF
28	Nicole Portmann	How Many Steps Are Necessary to Separate a Bigraph?	J. Comb. Theory, Ser. B	2002	DBLP DOI BibTeX RDF
28	Matthias F. M. Stallmann, Franc Brglez, Debabrata Ghosh	Heuristics, Experimental Subjects, and Treatment Evaluation in Bigraph Crossing Minimization.	ACM J. Exp. Algorithmics	2001	DBLP DOI BibTeX RDF
28	Kazuhiko Ushio	Evenly partite bigraph-factorization of symmetric complete tripartite digraphs.	Australas. J Comb.	2000	DBLP BibTeX RDF
28	Kazuhiko Ushio	Bigraph-factorization of symmetric complete bipartite multi-digraphs.	Australas. J Comb.	1999	DBLP BibTeX RDF
28	Dennis P. Geller, Anthony J. W. Hilton	How to colour the lines of a bigraph.	Networks	1974	DBLP DOI BibTeX RDF
22	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
22	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
22	Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi	Type Systems for Bigraphs.	TGC	2008	DBLP DOI BibTeX RDF