Search results for "Model composition"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Freddy Munoz, Benoit Baudry	A Framework for Testing Model Composition Engines.	Software Composition	2009	DBLP DOI BibTeX RDF	Model composition engines, Data synthesis, Software testing, Model composition
3	Kleinner Farias, Alessandro Garcia, Jon Whittle	Assessing the impact of aspects on model composition effort.	AOSD	2010	DBLP DOI BibTeX RDF	software architecture, empirical studies, software metrics, software product lines, model composition
3	Jon Oldevik, Massimiliano Menarini, Ingolf Krüger	Model Composition Contracts.	MoDELS	2009	DBLP DOI BibTeX RDF	aspect-oriented development, design by contract, Model composition
3	Christoph Herrmann, Holger Krahn, Bernhard Rumpe, Martin Schindler, Steven Völkel	An Algebraic View on the Semantics of Model Composition.	ECMDA-FA	2007	DBLP DOI BibTeX RDF	Semantics, Model composition, Model merging
3	Haihong Yu, Jigui Sun, Xia Wu, Zehai Li	Model Composition in Multi-dimensional Data Spaces.	RSKT	2007	DBLP DOI BibTeX RDF	Multi-dimension Data, Decision Support System, Model Management, Model Composition
2	Kleinner Farias	Empirical evaluation of effort on composing design models.	ICSE	2010	DBLP DOI BibTeX RDF	UML, empirical studies, model composition
2	Defen Zhang, Shixian Li, Xianming Liu	An Approach for Model Composition and Verification.	NCM	2009	DBLP DOI BibTeX RDF	verification, Alloy, model composition, model weaving
2	Gilles Perrouin, Erwan Brottier, Benoit Baudry, Yves Le Traon	Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective.	REFSQ	2009	DBLP DOI BibTeX RDF	model-driven requirements engineering, flexible inconsistency management, model composition
2	Adil Anwar, Sophie Ebersold, Mahmoud Nassar, Bernard Coulette, Abdelaziz Kriouile	Towards a Generic Approach for Model Composition.	ICSEA	2008	DBLP DOI BibTeX RDF
2	Krishnakumar Balasubramanian, Douglas C. Schmidt, Zoltan Molnar, Ákos Lédeczi	Component-Based System Integration via (Meta)Model Composition.	ECBS	2007	DBLP DOI BibTeX RDF
2	Sascha Opletal, Emil A. Stoyanov, Dieter Roller	Pro-active Environment for Assisted Model Composition.	CDVE	2007	DBLP DOI BibTeX RDF	Error-Reduced CAD, Knowledge Management, Cooperative Learning
2	Robert B. France, Franck Fleurey, Raghu Reddy, Benoit Baudry, Sudipto Ghosh	Providing Support for Model Composition in Metamodels.	EDOC	2007	DBLP DOI BibTeX RDF
2	Kleinner S. F. Oliveira, Toacy Cavalcante de Oliveira	A Guidance for Model Composition.	ICSEA	2007	DBLP DOI BibTeX RDF
2	Therani Madhusudan	A web services framework for distributed model management.	Information Systems Frontiers	2007	DBLP DOI BibTeX RDF	Distributed model management, Web services, Model composition, Model reuse
2	Jean Bézivin, Salim Bouzitouna, Marcos Didonet Del Fabro, Marie-Pierre Gervais, Frédéric Jouault, Dimitrios S. Kolovos, Ivan Kurtev, Richard F. Paige	A Canonical Scheme for Model Composition.	ECMDA-FA	2006	DBLP DOI BibTeX RDF
2	Jacky Estublier, Anca Daniela Ionita	Extending UML for Model Composition.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF
2	Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes	Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation.	QSIC	2005	DBLP DOI BibTeX RDF
2	Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Nicola Mazzocca, Valeria Vittorini	DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF	Model Objects, Performance Analysis Framework, Model composition
1	Wooil Kim, John H. L. Hansen	Variational noise model composition through model perturbation for robust speech recognition with time-varying background noise.	Speech Communication	2011	DBLP DOI BibTeX RDF
1	Nicolas Frisby, M. Peck, Mark Snyder, Perry Alexander	Model Composition in Rosetta.	ECBS	2011	DBLP DOI BibTeX RDF	specification composition, refinement, reasoning
1	Carlos Rodríguez, Mario Sánchez, Jorge Villalobos	Executable model composition: a multilevel approach.	SAC	2011	DBLP DOI BibTeX RDF
1	René Zilz, Peter Forbrig	Smart User Assistance Based on Dynamic Model Composition.	HCI	2011	DBLP DOI BibTeX RDF
1	Bo Song, Shengwen Gong, Shengbo Chen	Model Composition and Generating Tests for Web Applications.	CIS	2011	DBLP DOI BibTeX RDF
1	Adil Anwar, Taoufiq Dkaki, Sophie Ebersold, Bernard Coulette, Mahmoud Nassar	A Formal Approach to Model Composition Applied to VUML.	ICECCS	2011	DBLP DOI BibTeX RDF
1	Edward L. Boone, Susan J. Simmons, Karl Ricanek	A Bayesian Method for the Detection of Epistasis in Quantitative Trait Loci using Markov Chain Monte Carlo Model Composition with Restricted Model Spaces.	ICAART	2011	DBLP BibTeX RDF
1	Ranjit Randhawa, Clifford A. Shaffer, John J. Tyson	Model Composition for Macromolecular Regulatory Networks.	IEEE/ACM Trans. Comput. Biology Bioinform.	2010	DBLP DOI BibTeX RDF
1	Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France	Managing Variability in Workflow with Feature Model Composition Operators.	Software Composition	2010	DBLP DOI BibTeX RDF
1	Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France	Comparing Approaches to Implement Feature Model Composition.	ECMFA	2010	DBLP DOI BibTeX RDF
1	Pierre Kelsen, Qin Ma 0002	A Modular Model Composition Technique.	FASE	2010	DBLP DOI BibTeX RDF
1	Aram Hovsepyan, Riccardo Scandariato, Stefan Van Baelen, Yolande Berbers, Wouter Joosen	From aspect-oriented models to aspect-oriented code?: the maintenance perspective.	AOSD	2010	DBLP DOI BibTeX RDF	empirical study, aspect-oriented programming, model-driven engineering, aspect-oriented modeling, model composition
1	Chaiwat Sathawornwichit, Toshiaki Aoki, Takuya Katayama	Modeling of Real-Time System Designs for Parametric Analysis.	RTCSA	2010	DBLP DOI BibTeX RDF	time parameter, parameter synthesis, schedulability, modeling, model checking, model composition, parametric analysis, real-time system design
1	Rabeb Mizouni, Aziz Salah	Behavioral Model Composition: a Non Functional Requirements Driven Approach.	SoMeT	2009	DBLP DOI BibTeX RDF
1	Wooil Kim, John H. L. Hansen	Variational model composition for robust speech recognition with time-varying background noise.	INTERSPEECH	2009	DBLP BibTeX RDF
1	Imran Mahmood, Rassul Ayani, Vladimir Vlassov, Farshad Moradi	Statemachine Matching in BOM Based Model Composition.	DS-RT	2009	DBLP DOI BibTeX RDF
1	Yaojun Han, Xuemei Luo	Composition and Reduction of Web Service Based on Dynamic Timed Colored Petri Nets.	ISPA	2009	DBLP DOI BibTeX RDF	model composition and reduction, dynamic timed colored Petri net, web service, performance analysis
1	Valérie Monfort, Slimane Hammoudi	Towards Adaptable SOA: Model Driven Development, Context and Aspect.	ICSOC/ServiceWave	2009	DBLP DOI BibTeX RDF	Aspect Based services, Meta Modeling, Model Composition
1	Andrés Yie, Rubby Casallas, Dennis Wagelaar, Dirk Deridder	An Approach for Evolving Transformation Chains.	MoDELS	2009	DBLP DOI BibTeX RDF	Model transformation, Model Driven Engineering, Model composition
1	Sven Apel, Florian Janda, Salvador Trujillo, Christian Kästner	Model Superimposition in Software Product Lines.	ICMT	2009	DBLP DOI BibTeX RDF
1	Adil Anwar, Sophie Ebersold, Mahmoud Nassar, Bernard Coulette, Abdelaziz Kriouile	A QVT-Based Approach for Model Composition - Application to the VUML Profile.	ICEIS (3-2)	2008	DBLP BibTeX RDF
1	Saehoon Cheon, Doohwan Kim, Bernard P. Zeigler	DEVS model composition by system entity structure.	IRI	2008	DBLP DOI BibTeX RDF
1	Roberto E. Lopez-Herrejon	Models, Features and Algebras - An Exploratory Study of Model Composition and Software Product Lines.	ICSOFT (SE/MUSE/GSDCA)	2008	DBLP BibTeX RDF
1	Wudong Liu, Qingfu Zhang, Edward P. K. Tsang, Botond Virginas	Tchebycheff approximation in Gaussian Process model composition for multi-objective expensive black box.	IEEE Congress on Evolutionary Computation	2008	DBLP DOI BibTeX RDF
1	Farshad Moradi, Rassul Ayani, Imran Mahmood	An Agent-Based Environment for Simulation Model Composition.	PADS	2008	DBLP DOI BibTeX RDF	Component based simulation development, BOM, Multi agent systems, Semantic Web Services
1	Saeed Ghanbari, Cristiana Amza	Semantic-Driven Model Composition for Accurate Anomaly Diagnosis.	ICAC	2008	DBLP DOI BibTeX RDF
1	Pablo Sánchez, Lidia Fuentes, Dominik Stein, Stefan Hanenberg, Rainer Unland	Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Vittorio Cortellessa, Catia Trubiani	Towards a library of composable models to estimate the performance of security solutions.	WOSP	2008	DBLP DOI BibTeX RDF	tradeoff between performance and security, software security, model composition, generalized stochastic petri nets, software performance modeling
1	Greg Freeman, Don S. Batory, R. Greg Lavender	Lifting Transformational Models of Product Lines: A Case Study.	ICMT	2008	DBLP DOI BibTeX RDF	transformation reuse, highlevel transformations, code generation, features, product-lines, model composition
1	Jürgen Dingel, Zinovy Diskin, Alanna Zito	Understanding and improving UML package merge.	Software and System Modeling	2008	DBLP DOI BibTeX RDF	Semantics formalization, Metamodeling techniques, UML, Model composition
1	Saheeb Ahmed Kayani	Search for human competitive results in open ended automated synthesis of a primordial mechatronic system.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	multi domain dynamic or mechatronic systems, physical design realization, topology synthesis, unified/automated design, genetic programming, dynamic analysis, bond-graphs
1	Marcelo Gutierrez-Alcaraz, Gabriel A. Wainer	Experiences with the DEVStone benchmark.	SpringSim	2008	DBLP DOI BibTeX RDF	ADEVS, M&S tool, simulator performance evaluation, synthetic benchmark, DEVS, CD++
1	Amit V. Deokar, Omar F. El-Gayar	A Semantic Web Services-Based Architecture for Model Management Systems.	HICSS	2008	DBLP DOI BibTeX RDF
1	Hugues Balp, Etienne Borde, Grégory Haïk, Jean-François Tilman	Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded Systems.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Michael Poppleton	The Composition of Event-B Models.	ABZ	2008	DBLP DOI BibTeX RDF
1	Yongjoo Jung	Improving Robustness in Jacobian Adaptation for Noisy Speech Recognition.	PIT	2008	DBLP DOI BibTeX RDF
1	Bruno González-Baixauli, Miguel A. Laguna, Julio Cesar Sampaio do Prado Leite	A Meta-Model for Requirements Variability Analysis - Application to Tool Generation and Model Composition.	ICSOFT (PL/DPS/KE/MUSE)	2007	DBLP BibTeX RDF
1	Vladislav Kraevoy, Dan Julius, Alla Sheffer	Model Composition from Interchangeable Components.	Pacific Conference on Computer Graphics and Applications	2007	DBLP DOI BibTeX RDF
1	Sailesh Sathish, Cristiano di Flora	Supporting smart space infrastructures: a dynamic context-model composition framework.	MobiMedia	2007	DBLP DOI BibTeX RDF	context models, smart spaces, adaptive applications
1	Praveen K. Jayaraman, Jon Whittle, Ahmed M. Elkhodary, Hassan Gomaa	Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis.	MoDELS	2007	DBLP DOI BibTeX RDF	model transformation, Software product lines, feature interaction
1	Franck Fleurey, Benoit Baudry, Robert B. France, Sudipto Ghosh	A Generic Approach for Automatic Model Composition.	MoDELS Workshops	2007	DBLP DOI BibTeX RDF
1	Jon Oldevik	Semantics Preserving Model Composition.	MoDELS (Doctoral Symposium)	2007	DBLP BibTeX RDF
1	Mathias Röhl, Florian Marquardt, Adelinde M. Uhrmacher	Exploiting web service techniques for composing simulation models.	Winter Simulation Conference	2007	DBLP DOI BibTeX RDF
1	Michael G. McQuinn, Peter Kemper, William H. Sanders	Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations.	QEST	2007	DBLP DOI BibTeX RDF
1	Yong-Joo Chung, Keun-Sung Bae	Data-Driven Jacobian Adaptation in a Multi-model Structure for Noisy Speech Recognition.	IbPRIA	2007	DBLP DOI BibTeX RDF
1	Jon Whittle, Ana Moreira, João Araújo, Praveen K. Jayaraman, Ahmed M. Elkhodary, Rasheed Rabbi	An Expressive Aspect Composition Language for UML State Diagrams.	MoDELS	2007	DBLP DOI BibTeX RDF	aspect-oriented development, use cases, state machines
1	Diamantino Caseiro, Isabel Trancoso	A specialized on-the-fly algorithm for lexicon and language model composition.	IEEE Transactions on Audio, Speech & Language Processing	2006	DBLP DOI BibTeX RDF
1	Farshad Moradi, Peder Nordvaller, Rassul Ayani	Simulation Model Composition using BOMs.	DS-RT	2006	DBLP DOI BibTeX RDF
1	Wolfgang Grieskamp, Nicolas Kicillof	A schema language for coordinating construction and composition of partial behavior descriptions.	SCESM	2006	DBLP DOI BibTeX RDF	partial behaviors, model-based testing, model composition
1	Clifford A. Shaffer, Ranjit Randhawa, John J. Tyson	The role of composition and aggregation in modeling macromolecular regulatory networks.	Winter Simulation Conference	2006	DBLP DOI BibTeX RDF
1	Fernanda M. R. Alencar, Jaelson Brelaz de Castro, Ana Moreira, João Araújo, Carla T. L. L. Silva, Ricardo Argenton Ramos, John Mylopoulos	Integration of Aspects with i* Models.	AOIS	2006	DBLP DOI BibTeX RDF	Aspect-Oriented Requirements Engin- eering, Early-Aspects, Agent-Oriented Modeling
1	Wolfgang Grieskamp	Multi-paradigmatic Model-Based Testing.	FATES/RV	2006	DBLP DOI BibTeX RDF
1	Tal Hassner, Lihi Zelnik-Manor, George Leifman, Ronen Basri	Minimal-Cut Model Composition.	SMI	2005	DBLP DOI BibTeX RDF
1	Andy Ju An Wang	Information security models and metrics.	ACM Southeast Regional Conference	2005	DBLP DOI BibTeX RDF	policy and mechanisms, modeling, verification, measurement, validation, information security
1	Eunjee Song, Raghu Reddy, Robert B. France, Indrakshi Ray, Geri Georg, Roger T. Alexander	Verifiable composition of access control and application features.	SACMAT	2005	DBLP DOI BibTeX RDF	modeling, UML, verification, RBAC
1	Chen Liu, Qun Li, Weiping Wang 0002, Yifan Zhu	Extend SRML schema based on DEVS: an executable DEVS language.	Winter Simulation Conference	2005	DBLP DOI BibTeX RDF
1	Ezequiel Glinsky, Gabriel A. Wainer	DEVStone: a Benchmarking Technique for Studying Performance of DEVS Modeling and Simulation Environments.	DS-RT	2005	DBLP DOI BibTeX RDF
1	Tod Courtney, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders	The Mobius Modeling Environment: Recent Extensions - 2005.	QEST	2005	DBLP DOI BibTeX RDF
1	Alexis Muller, Olivier Caron, Bernard Carré, Gilles Vanwormhoudt	On Some Properties of Parameterized Model Application.	ECMDA-FA	2005	DBLP DOI BibTeX RDF
1	Greg Straw, Geri Georg, Eunjee Song, Sudipto Ghosh, Robert B. France, James M. Bieman	Model Composition Directives.	UML	2004	DBLP DOI BibTeX RDF
1	Chandra Kant Raut, Takuya Nishimoto, Shigeki Sagayama	Model composition by lagrange polynomial approximation for robust speech recognition in noisy environment.	INTERSPEECH	2004	DBLP BibTeX RDF
1	Andrew Finney	Developing SBML Beyond Level 2: Proposals for Development.	CMSB	2004	DBLP DOI BibTeX RDF
1	Kaushal Chari	Model composition in a distributed environment.	Decision Support Systems	2003	DBLP DOI BibTeX RDF
1	Vei-Chung Liang, Christiaan J. J. Paredis	Foundations of multi-paradigm modeling and simulation: a port ontology for automated model composition.	Winter Simulation Conference	2003	DBLP DOI BibTeX RDF
1	Jürgen Ruf, Thomas Kropf	Symbolic Verification and Analysis of Discrete Timed Systems.	Formal Methods in System Design	2003	DBLP DOI BibTeX RDF	multi terminal binary decision diagrams, real-time systems, formal verification, symbolic model checking
1	Kaushal Chari	Model Composition Using Filter Spaces.	Information Systems Research	2002	DBLP DOI BibTeX RDF
1	Siobhán Clarke	Extending standard UML with model composition semantics.	Sci. Comput. Program.	2002	DBLP DOI BibTeX RDF
1	Benny Raphael, G. Bhatnagar, Ian F. C. Smith	Creation of flexible graphical user interfaces through model composition.	AI EDAM	2002	DBLP DOI BibTeX RDF
1	Rajarishi Sinha, Christiaan J. J. Paredis, Pradeep K. Khosla	Behavioral Model Composition in Simulation-Based Design.	Annual Simulation Symposium	2002	DBLP DOI BibTeX RDF	Port-based modeling, Simulation, design, component, CAD, configuration, system, behavioral model, interaction model
1	Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf Ernst	Model composition for scheduling analysis in platform design.	DAC	2002	DBLP DOI BibTeX RDF	scheduling, performance analysis, formal analysis, platform-based design
1	Rodrigo Quites Reis, Carla Alessandra Lima Reis, Heribert Schlebbe, Daltro José Nunes	Early Experiences on Promoting Explicit Separation of Details to Improve Software Processes Reusability.	COMPSAC	2002	DBLP DOI BibTeX RDF
1	William H. Sanders, Constantine D. Polychronopoulos, Thomas S. Huang, Tod Courtney, David Daly, Daniel D. Deavours, Salem Derisavi	Overview: An Integrated Framework for Performance Engineering and Resource-Aware Compilation. (PDF / PS)	IPDPS	2002	DBLP DOI BibTeX RDF
1	Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney	The Möbius State-Level Abstract Functional Interface.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
1	Marko Fabiunke, Joanna Filipek, Christian Maeder	XMI Based UML Model Composition in KobrA.	GI Jahrestagung	2001	DBLP BibTeX RDF
1	Kurt Stirewalt, Spencer Rugaber	The Model-Composition Problem in User-Interface Generation.	Autom. Softw. Eng.	2000	DBLP DOI BibTeX RDF
1	Dirk Riehle, Roger Brudermann, Thomas R. Gross, Kai-Uwe Mätzel	Pattern density and role modeling of an object transport service.	ACM Comput. Surv.	2000	DBLP DOI BibTeX RDF	object transport, pattern application, pattern composition, pattern desity, role model composition, framework, pattern, role, role model, object migration, inter-process communication
1	Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis	Parametric Stochastic Well-Formed Nets and Compositional Modelling.	ICATPN	2000	DBLP DOI BibTeX RDF
1	Katerina Goseva-Popstojanova, Kishor S. Trivedi	Stochastic Modeling Formalisms for Dependability, Performance and Performability.	Performance Evaluation	2000	DBLP DOI BibTeX RDF
1	Karama Kanoun, Marie Borrel, Thierry Morteveille, Alain Peytavin	Availability of CAUTRA, a Subset of the French Air Traffic Control System.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	Markov chains, model composition, generalized stochastic Petri Nets, Dependability modeling
1	Kurt Stirewalt, Spencer Rugaber	Automating UI Generation by Model Composition. (PDF / PS)	ASE	1998	DBLP DOI BibTeX RDF
1	Benny Raphael, Ian F. C. Smith	Case-Based Model Selection for Engineering Diagnosis.	EWCBR	1998	DBLP DOI BibTeX RDF