Search results for "model execution"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Andrei Kirshin, Dolev Dotan, Alan Hartman	A UML Simulator Based on a Generic Model Execution Engine.	MoDELS Workshops	2006	DBLP DOI BibTeX RDF	Model Debugger, UML, State Machines, Activities, Model Execution, Model Simulator
2	Zhangxi Tan, Andrew Waterman, Henry Cook, Sarah Bird, Krste Asanovic, David A. Patterson	A case for FAME: FPGA architecture model execution.	ISCA	2010	DBLP DOI BibTeX RDF	simulation, fpga, microprocessors
2	Ke Jiang, Lei Zhang, Shigeru Miyake	OCL4X: An Action Semantics Language for UML Model Execution.	COMPSAC	2007	DBLP DOI BibTeX RDF
2	Andreea Vescan	Restraint Order Component Model Execution.	SYNASC	2006	DBLP DOI BibTeX RDF
2	Pedro J. Molina	User interface generation with OlivaNova model execution system.	IUI	2004	DBLP DOI BibTeX RDF	device independence user interface, conceptual modeling, code generation, model-based user interface development
2	Andrei Borshchev, Yuri Karpov, Victor Roudakov	Systems modeling, simulation and analysis using COVERS active objects.	ECBS	1997	DBLP DOI BibTeX RDF	COVERS active objects, object-oriented principles, reactive system design, object structure diagrams, object interconnection diagrams, data functions, modeling-simulation-analysis cycle, Windows-based graphical environment, visualization, object-oriented programming, C++, code generation, systems analysis, statecharts, systems modeling, semantic model, modeling language, simulation environment, systems simulation, model execution, data objects, behavior description, timed transition systems
1	Xiaolin Wang, Hui Li, Hao Deng, Hongqiang Mao, Yingwei Luo	Sharing and reusing geography models via model execution engine.	IGARSS	2011	DBLP DOI BibTeX RDF
1	Eric Cariou, Cyril Ballagny, Alexandre Feugas, Franck Barbier	Contracts for Model Execution Verification.	ECMFA	2011	DBLP DOI BibTeX RDF
1	Marco Blumendorf, Grzegorz Lehmann, Sahin Albayrak	Bridging models and systems at runtime to build adaptive user interfaces.	EICS	2010	DBLP DOI BibTeX RDF	model-driven engineering, adaptive user interfaces, executable models, model-based user interface development
1	Ryan A. Kellar, Joshua D. Tyson, Johnothan S. Corley, Kenneth G. Ricks, David Jeff Jackson	Speedup Techniques for Simulink Model Execution.	CAINE	2009	DBLP BibTeX RDF
1	Michael Shtelma, Mario Cartsburg, Nikola Milanovic	Executable Domain Specific Language for Message-Based System Integration.	MoDELS	2009	DBLP DOI BibTeX RDF	domain specific language, System integration, model execution
1	Alin Stefanescu, Sebastian Wieczorek, Andrei Kirshin	MBT4Chor: A Model-Based Testing Approach for Service Choreographies.	ECMDA-FA	2009	DBLP DOI BibTeX RDF	Choreography Modeling, SOA, Model Transformation, Domain Specific Language, Model-Based Testing, Service Integration
1	Piotr Habela, Krzysztof Kaczmarski, Krzysztof Stencel, Kazimierz Subieta	OCL as the Query Language for UML Model Execution.	ICCS	2008	DBLP DOI BibTeX RDF	UML, MDA, query language, OCL
1	Grzegorz Falda, Piotr Habela, Krzysztof Kaczmarski, Krzysztof Stencel, Kazimierz Subieta	Object-Oriented Database Prototype as a Model Execution Engine for Executable UML.	ICOODB	2008	DBLP BibTeX RDF
1	Matthias Krause, Dominik Englert, Oliver Bringmann, Wolfgang Rosenstiel	Combination of instruction set simulation and abstract RTOS model execution for fast and accurate target software evaluation.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	RTOS modeling, embedded systems, instruction set simulation
1	Lidia Fuentes, Jorge Manrique, Pablo Sánchez	Pópulo: a tool for debugging UML models.	ICSE Companion	2008	DBLP DOI BibTeX RDF	executable uml, model execution, model simulation
1	Ashley T. McNeile, Ella E. Roubtsova	Executable Protocol Models as a Requirements Engineering Tool.	Annual Simulation Symposium	2008	DBLP DOI BibTeX RDF	event protocols, composition, requirements, CSP, model execution
1	Mohammad Moallemi, J. Marcelo Gutierrez-Alcaraz, Gabriel A. Wainer	ECD++ a DEVS based real-time simulator for embedded systems.	SpringSim	2008	DBLP DOI BibTeX RDF	embedded CD++ (ECD++), mindstorms, robocart, real-time
1	Xiao-li Bai, Xue-shan Luo, Xiao-hui Bai, Xian-qing Yi, Hong-hui Chen, De-ke Guo	Study of DoD Architecture Simulation Validation based on UML and Extended Colored Petri Nets.	ICNSC	2008	DBLP DOI BibTeX RDF
1	Bin Lei, Linzhang Wang, Xuandong Li	UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency.	ICST	2008	DBLP DOI BibTeX RDF	race condition, UML activity diagram
1	Ibrahim Elsayed, Jianguo Han, Ting Liu, Alexander Wöhrer, Fakhri Alam Khan, Peter Brezany	Grid-Enabled Non-Invasive Blood Glucose Measurement.	ICCS	2008	DBLP DOI BibTeX RDF	Non-Invasive Blood Glucose Measurement, e-Infrastructure, Grid Computing, Traditional Chinese Medicine
1	David Cohn, Pankaj Dhoolia, Fenno Heath, Florian Pinel, John Vergo	Siena: From PowerPoint to Web App in 5 Minutes.	ICSOC	2008	DBLP DOI BibTeX RDF
1	Falko Theisselmann, Doris Dransch	Improving the Reusability of Spatiotemporal Simulation Models: Using MDE to Implement Cellular Automata.	SDH	2008	DBLP DOI BibTeX RDF	Spatiotemporal modeling, Cellular automata, Model Driven Engineering
1	Wolfgang Ecker, Volkan Esen, Lars Schönberg, Thomas Steininger, Michael Velten, Michael Hull	Interactive presentation: Impact of description language, abstraction layer, and value representation on simulation performance.	DATE	2007	DBLP DOI BibTeX RDF
1	Denise M. Bevilacqua Masi, Martin J. Fischer, David A. Garbin	Modeling the performance of low latency queueing for emergency telecommunications.	Winter Simulation Conference	2007	DBLP DOI BibTeX RDF
1	Claude Dennis Pegden	SIMIO: a new simulation system based on intelligent objects.	Winter Simulation Conference	2007	DBLP DOI BibTeX RDF
1	Julian Reitman, Donald Ingerman, Jerry Katzke, Jon Shapiro, Kenneth Simon, Burton Smith	A complete interactive simulation environment GPSS/360-NORDEN (1970).	Winter Simulation Conference	2007	DBLP DOI BibTeX RDF
1	Sheng Xu, Leon F. McGinnis	Hierarchical distributed simulation for 300mm wafer fab.	Winter Simulation Conference	2007	DBLP DOI BibTeX RDF
1	Roman Vaculín, Katia P. Sycara	Specifying and Monitoring Composite Events for Semantic Web Services.	ECOWS	2007	DBLP DOI BibTeX RDF
1	Patrick Freudenstein, Martin Nussbaumer, Frederic Majer, Martin Gaedke	A Workflow-Driven Approach for the Efficient Integration of Web Services in Portals.	IEEE SCC	2007	DBLP DOI BibTeX RDF
1	David Andrzejewski, Anne Mulhern, Ben Liblit, Xiaojin Zhu	Statistical Debugging Using Latent Topic Models.	ECML	2007	DBLP DOI BibTeX RDF
1	Stefan Betermieux, Birgit Bomsdorf	Finalizing Dialog Models at Runtime.	ICWE	2007	DBLP DOI BibTeX RDF
1	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
1	Sheng Xu, Leon F. McGinnis	Optimistic-conservative synchronization in distributed factory simulation.	Winter Simulation Conference	2006	DBLP DOI BibTeX RDF
1	Mila Keren, Andrei Kirshin, Julia Rubin, Ahto Truu	MDA Approach for Maintenance of Business Applications.	ECMDA-FA	2006	DBLP DOI BibTeX RDF
1	Alexandre Vassallo, Cristiane Oliveira, Carla Osthoff, Halisson Brito, Julia Celia M. Strauch, Jano Moreira de Souza	Execution Management of Scientific Models on Computational Grids.	VECPAR	2006	DBLP DOI BibTeX RDF
1	Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. France, Michael Hamilton, Brent Wilkins	UMLAnT: an Eclipse plugin for animating and testing UML designs.	ETX	2005	DBLP DOI BibTeX RDF	EclipseUML, UML, Eclipse, class diagram, sequence diagram, activity diagram, plugin, EMF, model execution, object diagram, model testing
1	Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh, Robert B. France, Anneliese Amschler Andrews	A Tool-Supported Approach to Testing UML Design Models.	ICECCS	2005	DBLP DOI BibTeX RDF	UML, software testing, code generation, class diagram, test adequacy criteria, model execution, test execution, interaction diagrams
1	Ke Wang, Sheng Xu, Leon F. McGinnis	Time management in distributed factory simulation, a case study using HLA.	Winter Simulation Conference	2005	DBLP DOI BibTeX RDF
1	Garrett R. Yaun, David W. Bauer, Christopher D. Carothers	Sharing event data in optimistically scheduled multicast applications.	Winter Simulation Conference	2005	DBLP DOI BibTeX RDF
1	Bogdan Korel, Luay Ho Tahat, Mark Harman	Test Prioritization Using System Models.	ICSM	2005	DBLP DOI BibTeX RDF
1	Walter A. Dos Santos, Adilson M. da Cunha	An MDA Approach for a Multi-Layered Satellite On-Board Software Architecture.	WICSA	2005	DBLP DOI BibTeX RDF
1	Vahid Garousi, Lionel C. Briand, Yvan Labiche	Control Flow Analysis of UML 2.0 Sequence Diagrams.	ECMDA-FA	2005	DBLP DOI BibTeX RDF
1	Tiaojun Xiao, Gang Yu, Zhaohan Sheng, Yusen Xia	Coordination of a Supply Chain with One-Manufacturer and Two-Retailers Under Demand Promotion and Disruption Management Decisions.	Annals OR	2005	DBLP DOI BibTeX RDF	supply chain coordination, game, contract, disruption management
1	Zhenying Zhao, Michael O. Ball, Masahiro Kotake	Optimization-Based Available-To-Promise with Multi-Stage Resource Availability.	Annals OR	2005	DBLP DOI BibTeX RDF	available-to-promise, manufacturing order, production capability, order-promising and fulfillment, mixed-integer-programming
1	Francesco Quaglia, Andrea Santoro	Exploiting Spatial Uncertainty to Reduce Forward Computation Cost in Optimistic Simulations.	DS-RT	2004	DBLP DOI BibTeX RDF
1	Gerson Sunyé, Alain Le Guennec, Jean-Marc Jézéquel	Using UML Action Semantics for model execution and transformation.	Inf. Syst.	2002	DBLP DOI BibTeX RDF
1	Stephen F. Kirby	A JSP- Based Web Toof for Meterological Model Execution and Evaluation.	International Conference on Internet Computing	2002	DBLP BibTeX RDF
1	Maria Hybinette, Richard M. Fujimoto	Scalability of Parallel Simulation Cloning.	Annual Simulation Symposium	2002	DBLP DOI BibTeX RDF	parallel algorithms, multiprocessor, Parallel simulation, model execution
1	Thorsten Daum, Robert G. Sargent	Open source initiatives for simulation software: a web-ready HiMASS: facilitating collaborative, reusable, and distributed modeling and execution of simulation models with XML.	Winter Simulation Conference	2002	DBLP DOI BibTeX RDF
1	Kenneth J. Christensen	REMOTE: A Tool for Automatic Remote Execution of CSIM Simulation Models.	Annual Simulation Symposium	2002	DBLP DOI BibTeX RDF
1	Francesco Quaglia, Andrea Santoro	Software supports for preemptive rollback in optimistic parallel simulation on Myrinet clusters.	ISCC	2002	DBLP DOI BibTeX RDF
1	Khaled Mahbub, M. S. J. Hashmi	Dynamic System Simulation on the Web.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF
1	Eran Gery, David Harel, Eldad Palachi	Rhapsody: A Complete Life-Cycle Model-Based Development System.	IFM	2002	DBLP DOI BibTeX RDF
1	K. Subramani	A Specification Framework for Real-Time Scheduling.	SOFSEM	2002	DBLP DOI BibTeX RDF
1	Stephen J. Mellor	Raising the Level of Abstraction: Model Execution and Translation.	SEKE	2001	DBLP BibTeX RDF
1	Erwan Breton, Jean Bézivin	Towards an understanding of model executability.	FOIS	2001	DBLP DOI BibTeX RDF	process meta-models, models, meta-models, MOF, model execution, action semantics
1	Manuel Alfonseca, Juan de Lara, Hans Vangheluwe	Web II: web-based simulation of systems described by partial differential equations.	Winter Simulation Conference	2001	DBLP DOI BibTeX RDF
1	Levent Yilmaz	Verification and validation: automated object-flow testing of dynamic process interaction models.	Winter Simulation Conference	2001	DBLP DOI BibTeX RDF
1	Chiang Lee, Chi-Sheng Shih, Yaw-Huei Chen	A graph-theoretic model for optimizing queries involving methods.	VLDB J.	2001	DBLP DOI BibTeX RDF	Method query, Query optimization, Object-oriented databases, Spanning tree, Graph model
1	Vittorio Cortellessa, Francesco Quaglia	Techniques for optimizing model execution I: aggressiveness/risk effects based scheduling in Time Warp.	Winter Simulation Conference	2000	DBLP DOI BibTeX RDF
1	Hossein Salehfar, Nagy Bengiamin, Jun Huang	Techniques for optimizing model execution II: a systematic approach to linguistic fuzzy modeling based on input-output data.	Winter Simulation Conference	2000	DBLP DOI BibTeX RDF
1	Richard E. Nance, C. Michael Overstreet, Ernest H. Page	Redundancy in model specifications for discrete event simulation.	ACM Trans. Model. Comput. Simul.	1999	DBLP DOI BibTeX RDF	model development environment, uses of redundancy, discrete event simulation, model analysis
1	Nunzio Nicoló Savino Vázquez, Ramón Puigjaner	A UML-Based Method to Specify the Structural Component of Simulation-Based Queuing Network Performance Models.	Annual Simulation Symposium	1999	DBLP DOI BibTeX RDF
1	Manuel Alfonseca, Enrique Alfonseca, Juan de Lara	Compiling a simulation language in APL.	APL	1998	DBLP DOI BibTeX RDF
1	Antoni Olivé, Maria-Ribera Sancho	Validating Conceptual Specifications Through Model Execution.	Inf. Syst.	1996	DBLP DOI BibTeX RDF
1	Antoni Olivé, Maria-Ribera Sancho	A Method for Explaining the Behaviour of Conceptual Models	CAiSE	1995	DBLP DOI BibTeX RDF
1	Yosi Ben-Asher, Eitan Farchi	Using true concurrency to model execution of parallel programs.	International Journal of Parallel Programming	1994	DBLP DOI BibTeX RDF
1	Guus J. Ramackers	Model integration and model execution.	Methods and Associated Tools for the Information Systems Life Cycle	1994	DBLP BibTeX RDF
1	Jon Atle Gulla, Geir Willumsen	Using Explanations to Improve the Validation of Executable Models	CAiSE	1993	DBLP DOI BibTeX RDF