Search results for "systems modeling"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Jernej Zupanc	Error-Entropy Minimization for Dynamical Systems Modeling.	ICANN	2008	DBLP DOI BibTeX RDF	error-entropy minimization, industrial modeling, industrial forecasting, neural network, dynamical systems modeling, information-theoretic learning
3	Gernot Richter, Bruno Maffeo	Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	translation principles, rigorous interpretation, ESML, extended systems modeling language, graphics-based language, data flow diagram notation, transformation schema, token game, real-time systems, real-time systems, Petri nets, Petri nets, systems analysis, visual languages, control logic
2	Cristina Videira Lopes	The massification and webification of systems' modeling and simulation with virtual worlds.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	simulation, modeling, virtual worlds, 3d visualization
2	Jaroslaw Drapala, Jerzy Swiatek	Global and Local Approach to Complex Systems Modeling Using Dynamic Neural Networks- Analogy with Multiagent Systems.	KES	2007	DBLP DOI BibTeX RDF
2	Athanasios Perdos, Alexander Chatzigeorgiou, George Stephanides	Evaluation of a Queuing Theory and Systems Modeling Course Based on UML.	ICALT	2006	DBLP DOI BibTeX RDF
2	Bernard Berthomieu, Florent Peres, François Vernadat	Bridging the Gap Between Timed Automata and Bounded Time Petri Nets.	FORMATS	2006	DBLP DOI BibTeX RDF	weak timed bisimilarity, real-time systems modeling and verification, Timed Automata, priorities, Time Petri nets
2	Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (eds.)	Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday	Formal Methods in Software and Systems Modeling	2005	DBLP BibTeX RDF
2	Francesc Rosselló, Gabriel Valiente	Graph Transformation in Molecular Biology.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	David Harel, Hillel Kugler, Amir Pnueli	Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	Luciano Baresi, Mauro Pezzè	From Graph Transformation to Software Engineering and Back.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	Eckehard Schnieder, Jörg R. Müller	A Formal Description of the Basic Concepts of System Theory for Transportation.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	Annegret Habel, Karl-Heinz Pennemann	Nested Constraints and Application Conditions for High-Level Structures.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	Peter Padawitz	Expander2.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	Dirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg	Main Concepts of Networks of Transformation Units with Interlinking Semantics.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	Fabio Gadducci, Ugo Montanari	Graph Processes with Fusions: Concurrency by Colimits, Again.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF	dpo rewriting, concurrent semantics, process calculi
2	Paolo Baldan, Andrea Corradini	On the Concurrent Semantics of Algebraic Graph Grammars.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	Leila Ribeiro, Fernando Luís Dotti, Roswitha Bardohl	A Formal Framework for the Development of Concurrent Object-Based Systems.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	Julia Padberg, Hans-Jörg Kreowski	Loose Semantics of Petri Nets.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	Berthold Hoffmann	Graph Transformation with Variables.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	José Meseguer	Functorial Semantics of Rewrite Theories.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	Uwe Wolter	Cofree Coalgebras for Signature Morphisms.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	Claudia Ermel, Gabriele Taentzer, Roswitha Bardohl	Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	Hans Jürgen Schneider	Changing Labels in the Double-Pushout Approach Can Be Treated Categorically.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	Michael Löwe, Harald König, Christoph Schulz	Algebraic Properties of Interfaces.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	Bernd Mahr, Sebastian Bab	inT-Integration of Logics.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	Robin Milner	Embeddings and Contexts for Link Graphs.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	Gregor Engels, Reiko Heckel, Alexey Cherchago	Flexible Interconnection of Graph Transformation Modules.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	Fernando Orejas, Sonia Pérez	Towards Architectural Connectors for UML.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	Egidio Astesiano, Gianna Reggio	From Conditional Specifications to Interaction Charts.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	Michael A. Arbib	Modules, Brains and Schemas.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	Eric G. Wagner	Relationships Between Equational and Inductive Data Types.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
2	Fidel Aznar Gregori, Mar Pujol López, Ramón Rizo Aldeguer	Specifying Complex Systems with Bayesian Programming. An Alife Application.	International Conference on Computational Science	2005	DBLP DOI BibTeX RDF	Complex Systems Modeling, Artificial Life Formalization Model, Bayesian Programming
2	Jonah Z. Lavi, Joseph Kudish	Systems Modeling & Requirements Specification Using ECSAM: A Method for Embedded Computer-Based Systems Analysis.	ECBS	2004	DBLP DOI BibTeX RDF
2	Stephan Bohacek, João P. Hespanha, Junsoo Lee, Katia Obraczka	A hybrid systems modeling framework for fast and accurate simulation of data communication networks.	SIGMETRICS	2003	DBLP DOI BibTeX RDF	data communication networks, simulation, congestion control, TCP, hybrid systems, UDP
2	Morgan Björkander, Cris Kobryn	Architecting Systems with UML 2.0.	IEEE Software	2003	DBLP DOI BibTeX RDF	Unified Modeling Language, UML, software architecture, systems architecture, systems modeling, software modeling
2	Bernard Berthomieu, François Vernadat	State Class Constructions for Branching Analysis of Time Petri Nets.	TACAS	2003	DBLP DOI BibTeX RDF	state classes, branching time temporal properties, real-time systems modeling and verification, model-checking, bisimulation, Time Petri nets
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
2	Ryszard Raban	Information Systems Modeling with CGs Logic.	ICCS	1997	DBLP DOI BibTeX RDF
2	Christa Kopf, Felix Bretschneider	Systems Modeling and Process Control.	EUROCAST	1991	DBLP DOI BibTeX RDF
1	Ronald R. Yager, Dimitar P. Filev	Using Dempster-Shafer Structures to Provide Probabilistic Outputs in Fuzzy Systems Modeling.	Combining Experimentation and Theory	2012	DBLP DOI BibTeX RDF
1	Stephen W. Clyde, David W. Embley, Stephen W. Liddle, Scott N. Woodfield	OSM-Logic: A Fact-Oriented, Time-Dependent Formalization of Object-oriented Systems Modeling.	Conceptual Modelling and Its Theoretical Foundations	2012	DBLP DOI BibTeX RDF
1	Alexandros Kiparissides, Michalis Koutinas, Cleo Kontoravdi, Athanasios Mantalaris, Efstratios N. Pistikopoulos	'Closing the loop' in biological systems modeling - From the in silico to the in vitro.	Automatica	2011	DBLP DOI BibTeX RDF
1	Wilfred H. Wells, Waldemar Karwowski, Serge N. Sala-Diakanda, Kent Williams, Tareq Z. Ahram, James A. Pharmer	Application of Systems Modeling Language (SySML) for Cognitive Work Analysis in Systems Engineering Design Process.	J. UCS	2011	DBLP BibTeX RDF
1	Susana Barceló, Santiago Vidal-Puig, Alberto Ferrer	Comparison of multivariate statistical methods for dynamic systems modeling.	Quality and Reliability Eng. Int.	2011	DBLP DOI BibTeX RDF
1	Renzhong Wang, Cihan H. Dagli	Executable system architecting using systems modeling language in conjunction with colored Petri nets in a model-driven systems development process.	Systems Engineering	2011	DBLP DOI BibTeX RDF
1	Martin Böttcher, Klaus-Peter Fähnrich	Service Systems Modeling: Concepts, Formalized Meta-Model and Technical Concretion.	The Science of Service Systems	2011	DBLP DOI BibTeX RDF
1	Terry A. Halpin, Selmin Nurcan, John Krogstie, Pnina Soffer, Erik Proper, Rainer Schmidt, Ilia Bider (eds.)	Enterprise, Business-Process and Information Systems Modeling - 12th International Conference, BPMDS 2011, and 16th International Conference, EMMSAD 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Proceedings	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Alessandro Beghi, Luca Cecchinato, Fabio Paggiaro, Mirco Rampazzo	VAVAC systems modeling and simulation for FDD applications.	ICCA	2011	DBLP DOI BibTeX RDF
1	Wided Guédria, Yannick Naudet, David Chen	A Maturity Model Assessing Interoperability Potential.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Raian Ali, Fabiano Dalpiaz, Paolo Giorgini, Vítor Estêvão Silva Souza	Requirements Evolution: From Assumptions to Reality.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Florian Niedermann, Holger Schwarz	Deep Business Optimization: Making Business Process Optimization Theory Work in Practice.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	José M. González Vázquez, Peter Fettke, Hans-Jürgen Appelrath, Peter Loos	A Case Study on a GQM-Based Quality Model for a Domain-Specific Reference Model Catalogue to Support Requirements Analysis within Information Systems Development in the German Energy Market.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Ioana Ciuciu, Gang Zhao, Jutta A. Mülle, Silvia von Stackelberg, Cristián Vásquez, Thorsten Haberecht, Robert Meersman, Klemens Böhm	Semantic Support for Security-Annotated Business Process Models.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Sabine Buckl, Markus Buschle, Pontus Johnson, Florian Matthes, Christian M. Schweda	A Meta-language for Enterprise Architecture Analysis.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Andreas Rogge-Solti, Matthias Kunze, Ahmed Awad, Mathias Weske	Business Process Configuration Wizard and Consistency Checker for BPMN 2.0.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Pnina Soffer, Tomer Yehezkel	A State-Based Context-Aware Declarative Process Model.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Mukhammad Andri Setiawan, Shazia Wasim Sadiq	Experience Driven Process Improvement.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Filip Caron, Jan Vanthienen	An Exploratory Approach to Process Lifecycle Transitions from a Paradigm-Based Perspective.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Vera Künzle, Manfred Reichert	A Modeling Paradigm for Integrating Processes and Data at the Micro Level.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Mieke Jans, Benoît Depaire, Koen Vanhoof	Does Process Mining Add to Internal Auditing? An Experience Report.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Terry A. Halpin	Structural Aspects of Data Modeling Languages.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Lamia Abo Zaid, Olga De Troyer	Towards Modeling Data Variability in Software Product Lines.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Ajantha Dahanayake, Bernhard Thalheim	Enriching Conceptual Modelling Practices through Design Science.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Remigijus Gustas	Overlaying Conceptualizations for Managing Complexity of Scenario Specifications.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Pieter Hens, Monique Snoeck, Manu De Backer, Geert Poels	Distributed Event-Based Process Execution - Assessing Feasibility and Flexibility.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Iyad Zikra, Janis Stirna, Jelena Zdravkovic	Analyzing the Integration between Requirements and Models in Model Driven Development.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Markus Döhring, Birgit Zimmermann	vBPMN: Event-Aware Workflow Variants by Weaving BPMN2 and Business Rules.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Arturo González, Sergio España, Marcela Ruiz, Oscar Pastor	Systematic Derivation of Class Diagrams from Communication-Oriented Business Process Models.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Petia Wohed, David Truffet, Gustaf Juell-Skielse	Business Process Management for Open E-Services in Local Government Experience Report.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Jens Brüning, Peter Forbrig	TTMS: A Task Tree Based Workflow Management System.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Andrew Carver, Tony Morgan	Characterizing Business Rules for Practical Information Systems.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Partha Sampath, Martin Wirsing	Evaluation of Cost Based Best Practices in Business Processes.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	D. J. T. van der Linden, Stijn Hoppenbrouwers, A. Lartseva, Henderik Alex Proper	Towards an Investigation of the Conceptual Landscape of Enterprise Architecture.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Stefan Zugal, Jakob Pinggera, Barbara Weber	The Impact of Testcases on the Maintainability of Declarative Process Models.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Ole Eckermann, Matthias Weidlich	Flexible Artifact-Driven Automation of Product Design Processes.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Manpreet K. Dhillon, Subhasish Dasgupta	Individual Differences and Conceptual Modeling Task Performance: Examining the Effects of Cognitive Style, Self-efficacy, and Application Domain Knowledge.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	André Felipe Lemos Santana, Carina Frota Alves, Higor Ricardo Monteiro Santos, Adelnei de Lima Cavalcanti Felix	BPM Governance: An Exploratory Study in Public Organizations.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Andrea Marrella, Massimo Mecella	Continuous Planning for Solving Business Process Adaptivity.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Matteo Della Bordella, Rong Liu, Aurelio Ravarini, Frederick Y. Wu, Anil Nigam	Towards a Method for Realizing Sustained Competitive Advantage through Business Entity Analysis.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Iris Reinhartz-Berger, Arava Tsoury	Experimenting with the Comprehension of Feature-Oriented and UML-Based Core Assets.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Elie Fares, Jean-Paul Bodeveix, Mamoun Filali	Verification of Timed BPEL 2.0 Models.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Elena Kornyshova, Rébecca Deneckère, Colette Rolland	Method Families Concept: Application to Decision-Making Methods.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Sundar Gopalakrishnan, John Krogstie, Guttorm Sindre	Adapted UML Activity Diagrams for Mobile Work Processes: Experimental Comparison of Colour and Pattern Fills.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Ilia Bider	In Search for a Good Theory: Commuting between Research and Practice in Business Process Domain.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Mohammed A. Aboulsamh, Jim Davies	A Formal Modeling Approach to Information Systems Evolution and Data Migration.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Peter Wakholi, Weiqin Chen, Jørn Klungsøyr	Workflow Support for Mobile Data Collection.	BMMDS/EMMSAD	2011	DBLP DOI BibTeX RDF
1	Albrecht Schmidt	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
1	Ammar Mohammed Mohammed	Hybrid multi-agent systems: modeling, specification and verification.		2010	RDF
1	Henric Andersson, Erik Herzog, Gert Johansson, Olof Johansson	Experience from introducing Unified Modeling Language/Systems Modeling Language at Saab Aerosystems.	Systems Engineering	2010	DBLP DOI BibTeX RDF
1	Ferdinando Villa	Bridging Scales and Paradigms in Natural Systems Modeling.	MTSR	2010	DBLP DOI BibTeX RDF
1	Ilia Bider, Terry A. Halpin, John Krogstie, Selmin Nurcan, Erik Proper, Rainer Schmidt, Roland Ukor (eds.)	Enterprise, Business-Process and Information Systems Modeling - 11th International Workshop, BPMDS 2010, and 15th International Conference, EMMSAD 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010. Proceedings	BMMDS/EMMSAD	2010	DBLP DOI BibTeX RDF
1	Athanasios Perdos, George Stephanides, Alexander Chatzigeorgiou	A Queuing Theory and Systems Modeling Course Based on Unified Modeling Language (UML).	WSKS	2010	DBLP DOI BibTeX RDF
1	Flavius Frasincar, Geert-Jan Houben, Philippe Thiran	7th International Workshop on Web Information Systems Modeling (WISM 2010).	ER Workshops	2010	DBLP DOI BibTeX RDF
1	Robin Senge, Eyke Hüllermeier	Pattern trees for regression and fuzzy systems modeling.	FUZZ-IEEE	2010	DBLP DOI BibTeX RDF
1	Vijay Gehlot, Carmen Nigro	An introduction to systems modeling and simulation with Colored Petri Nets.	Winter Simulation Conference	2010	DBLP DOI BibTeX RDF
1	Annie R. Pearce, Kristen L. Sanford Bernhardt, Michael J. Garvin	Sustainability and socio-enviro-technical systems: Modeling total cost of ownership in capital facilities.	Winter Simulation Conference	2010	DBLP DOI BibTeX RDF
1	Wassim Derguech, Gabriela Vulcu, Sami Bhiri	An Indexing Structure for Maintaining Configurable Process Models.	BMMDS/EMMSAD	2010	DBLP DOI BibTeX RDF
1	Rébecca Deneckère, Elena Kornyshova	Process Line Configuration: An Indicator-Based Guidance of the Intentional Model MAP.	BMMDS/EMMSAD	2010	DBLP DOI BibTeX RDF
1	Rainer Schmidt	Perspectives for Moving Business Processes into the Cloud.	BMMDS/EMMSAD	2010	DBLP DOI BibTeX RDF
1	Inese Supulniece, Ligita Businska, Marite Kirikova	Towards Extending BPMN with the Knowledge Dimension.	BMMDS/EMMSAD	2010	DBLP DOI BibTeX RDF