Search results for "compositional modelling"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Jeroen Keppens, Qiang Shen	Granularity and disaggregation in compositional modelling with applications to ecological systems.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	Ecological systems, Granularity, Model-based reasoning, Compositional modelling, Disaggregation
2	Xin Fu, Qiang Shen, Ruiqing Zhao	Towards Fuzzy Compositional Modelling.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
2	Stefan Strubbe, Rom Langerak	A Composition Operator for Systems with Active and Passive Actions.	FORTE	2005	DBLP DOI BibTeX RDF	supervisory control, Compositional modelling
2	Abdel-Rahman H. Tawil, W. A. Gray, N. J. Fiddian	Discovering and Representing InterSchema Semantic Knowledge in a Cooperative Multi-Information Server Environment.	DEXA	2000	DBLP DOI BibTeX RDF	schema enrichment, mediators, Semantic interoperability, domain ontologies, compositional modelling
1	Liam O'Reilly, Till Mossakowski, Markus Roggenbach	Compositional Modelling and Reasoning in an Institution for Processes and Data.	WADT	2010	DBLP DOI BibTeX RDF
1	Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi	Compositional modelling of signalling pathways in timed concurrent constraint programming.	BCB	2010	DBLP DOI BibTeX RDF
1	Xin Fu, Qiang Shen	A novel framework of fuzzy complex numbers and its application to compositional modelling.	FUZZ-IEEE	2009	DBLP DOI BibTeX RDF
1	Anders Sejer Tranberg-Hansen, Jan Madsen	A compositional modelling framework for exploring MPSoC systems.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	MPSoC, system level design, performance estimation
1	Arnd Hartmanns, Holger Hermanns	A Modest Approach to Checking Probabilistic Timed Automata.	QEST	2009	DBLP DOI BibTeX RDF	Probabilistic timed automata, model checking, compositional modelling, digital clocks
1	Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières	Using CSP\|\|B Components: Application to a Platoon of Vehicles.	FMICS	2008	DBLP DOI BibTeX RDF	verification, formal methods, specification, case study, CSP, B, compositional modelling
1	Peng Wu 0002, Dongmei Zhang	Compositional Modelling and Verification of IPv6 Mobility.	FORTE	2005	DBLP DOI BibTeX RDF
1	Khodakaram Salimifard, Mike B. Wright	Compositional Modelling of Workflow Processes.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF
1	Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis	Parametric Stochastic Well-Formed Nets and Compositional Modelling.	ICATPN	2000	DBLP DOI BibTeX RDF
1	Frances M. T. Brazier, Jan Treur	Compositional modelling of reflective agents.	Int. J. Hum.-Comput. Stud.	1999	DBLP DOI BibTeX RDF