Search results for "Modeling formalisms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Yngve Dahl, Dag Svanæs	Visualizing Interaction in Digitally Augmented Spaces: Steps Toward a Formalism for Location-Aware and Token-Based Interactive Systems.	HCI	2007	DBLP DOI BibTeX RDF	Ubiquitous computing, Interaction design, Visual design, Embodied interaction, Modeling formalisms
2	Daniel D. Deavours, Graham Clark, Tod Courtney, David Daly, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster	The Möbius Framework and Its Implementation.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	PEPA, execution policy, Markov models, Stochastic models, stochastic Petri nets, modeling tools, modeling frameworks, modeling formalisms
2	Fernando J. Barros	Modeling Formalisms for Dynamic Structure Systems.	ACM Trans. Model. Comput. Simul.	1997	DBLP DOI BibTeX RDF	dynamic structure systems specifications, parallel modeling formalisms
2	Arjan J. C. van Gemund, Henk Jonkers, Gerard L. Reijns	Performance modeling of parallel systems with flexible precision.	HICSS	1995	DBLP DOI BibTeX RDF	flexible precision, low-precision compile-time methods, high-cost high-precision methods, performance prediction technique, model reduction calculus, simulation, parallel processing, static analysis, performance modeling, performance prediction, program compilers, queueing networks, software performance evaluation, parallel systems, task graphs, system monitoring, simulation languages, simulation languages, modeling formalisms
1	Ou Wei, Arie Gurfinkel, Marsha Chechik	On the consistency, expressiveness, and precision of partial modeling formalisms.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
1	Lorenzo Capra	(Toward) discrete-event simulation of reflective Petri nets.	SpringSim	2009	DBLP DOI BibTeX RDF	Petri nets, evolution, dynamic systems, symbolic techniques, state-transition graph
1	Frédéric Mallet, Charles André, Julien DeAntoni	Executing AADL Models with UML/MARTE.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Ou Wei, Arie Gurfinkel, Marsha Chechik	Mixed Transition Systems Revisited.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis	Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset.	DISC	2009	DBLP DOI BibTeX RDF
1	Jorge García Duque, José J. Pazos Arias, Martín López Nores, Yolanda Blanco-Fernández, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Manuel Ramos Cabrer, Alberto Gil-Solla	Methodologies to evolve formal specifications through refinement and retrenchment in an analysis-revision cycle.	Requir. Eng.	2009	DBLP DOI BibTeX RDF	Analysis-revision, Formal requirements specifications, Refinement, Retrenchment
1	Roland Ewald, Jan Himmelspach, Adelinde M. Uhrmacher	An Algorithm Selection Approach for Simulation Systems.	PADS	2008	DBLP DOI BibTeX RDF	performance database, simulation, performance analysis, algorithm selection
1	Lorenzo Capra	Addressing soundness and efficiency issues in dynamic processes: a reflective PN-based modeling approach.	SpringSim	2008	DBLP DOI BibTeX RDF	petri nets, evolution, reflection, processes
1	Tom Stafford, Patrick Y. K. Chau	Letter from the editors.	DATA BASE	2008	DBLP DOI BibTeX RDF
1	Denis Gagné, André Trudel	A Temporal Semantics for Workflow Control Patterns.	COMPSAC	2008	DBLP DOI BibTeX RDF
1	Su-Young Lee 0002, Frédéric Mallet, Robert de Simone	Dealing with AADL End-to-End Flow Latency with UML MARTE.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Frédéric Boulanger, Cécile Hardebolle	Simulation of Multi-Formalism Models with ModHelX.	ICST	2008	DBLP DOI BibTeX RDF	Simulation, Model of computation, Heterogeneous modeling
1	Carsten Maus, Mathias John, Mathias Röhl, Adelinde M. Uhrmacher	Hierarchical Modeling for Computational Biology.	SFM	2008	DBLP DOI BibTeX RDF	model components, DEVS, hierarchical models, pi calculus, multi-level modeling
1	Ricardo M. Czekster, Paulo Fernandes, Jean-Marc Vincent, Thais Webber	Split: a flexible and efficient algorithm to vector-descriptor product.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	tensor algebra, performance evaluation, numerical methods, Kronecker products
1	Jan Himmelspach, Adelinde M. Uhrmacher	Plug'n Simulate.	Annual Simulation Symposium	2007	DBLP DOI BibTeX RDF
1	Anikó Costa, Luís Gomes	Module Composition within Petri Nets Model-based Development.	SIES	2007	DBLP DOI BibTeX RDF
1	Gunhee Kim, Woojin Chung	Navigation Behavior Selection Using Generalized Stochastic Petri Nets for a Service Robot.	IEEE Transactions on Systems, Man, and Cybernetics, Part C	2007	DBLP DOI BibTeX RDF
1	Cécile Hardebolle, Frédéric Boulanger	ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling.	MoDELS Workshops	2007	DBLP DOI BibTeX RDF
1	Roman Gumzej, Wolfgang A. Halang	QoS-oriented design of embedded systems with specification PEARL.	ISSE	2007	DBLP DOI BibTeX RDF	Specification PEARL, UML profiles and patterns, Security, Quality-of-Service, Real-time systems, Reliability, Embedded systems, Dependability, Safety, Flexibility, Portability, Determinism, Co-design, Timeliness, Co-simulation, Readiness
1	Roland Ewald, Jan Himmelspach, Adelinde M. Uhrmacher	A non-fragmenting partitioning algorithm for hierarchical models.	Winter Simulation Conference	2006	DBLP DOI BibTeX RDF
1	Hessam S. Sarjoughian	Model composability.	Winter Simulation Conference	2006	DBLP DOI BibTeX RDF
1	Abdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin	A Modeling Paradigm for Integrated Modular Avionics Design.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
1	Dong Yang, Lixin Tong, Hongwei Wu	Specifying Reasoning Processes of a KBS Using Process Modeling Approaches.	GCC Workshops	2006	DBLP DOI BibTeX RDF
1	Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente	Heuristic Search for the Analysis of Graph Transition Systems.	ICGT	2006	DBLP DOI BibTeX RDF
1	Boris Shishkov, Dick A. C. Quartel	Combining SDBC and ISDL in the Modeling and Refinement of Business Processes.	ICEIS (Selected Papers)	2006	DBLP DOI BibTeX RDF	SDBC, ISDL, Refinement, System design, Business process modeling
1	Tim Furche, Benedikt Linse, François Bry, Dimitris Plexousakis, Georg Gottlob	RDF Querying: Language Constructs and Evaluation Methods Compared.	Reasoning Web	2006	DBLP DOI BibTeX RDF
1	Gordon Ping Gu, Dorina C. Petriu	From UML to LQN by XML algebra-based model transformations.	WOSP	2005	DBLP DOI BibTeX RDF	automatic model building, XML, UML, model transformations, software performance engineering, XMI, performance profile, LQN
1	Hessam S. Sarjoughian, Dongping Huang	A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models.	DS-RT	2005	DBLP DOI BibTeX RDF
1	Luís Gomes, Anikó Costa	Teaching Formal Methods Within System-on-a-Programmable-Chip Design.	MSE	2005	DBLP DOI BibTeX RDF
1	Aymeric Dussart, Benoit Aubert, Michel Patry	An Evaluation of Inter-Organizational Workflow Modeling Formalisms.	J. Database Manag.	2004	DBLP BibTeX RDF
1	Samir M. Koriem, Wail S. El-Kilani	A new disk-based technique for solving the largeness problem of stochastic modeling formalisms.	Journal of Systems and Software	2004	DBLP DOI BibTeX RDF
1	Gianfranco Ciardo, Andrew S. Miner	SMART: The Stochastic Model checking Analyzer for Reliability and Timing.	QEST	2004	DBLP DOI BibTeX RDF
1	Patryk Burek	Adoption of the Classical Theory of Definition to Ontology Modeling.	AIMSA	2004	DBLP DOI BibTeX RDF	Knowledge Representation, Knowledge Modeling, Ontology Engineering
1	Sangjoon Park, Kwanjoong Kim	DEVS Formalism: A Hierarchical Generation Scheme.	AIS	2004	DBLP DOI BibTeX RDF
1	Sylvain Soliman, François Fages	CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems.	CMSB	2004	DBLP DOI BibTeX RDF
1	Yvan Bédard, Suzie Larrivée, Marie-Josée Proulx, Martin Nadeau	Modeling Geospatial Databases with Plug-Ins for Visual Languages: A Pragmatic Approach and the Impacts of 16 Years of Research and Experimentations on Perceptory.	ER (Workshops)	2004	DBLP DOI BibTeX RDF
1	Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis	The OsMoSys approach to multi-formalism modeling of systems.	Software and System Modeling	2004	DBLP DOI BibTeX RDF	Multi-formalism modeling, Object orientation, Compositionality, Meta-languages
1	Patrice Godefroid, Radha Jagadeesan	On the Expressiveness of 3-Valued Models.	VMCAI	2003	DBLP DOI BibTeX RDF
1	Stanley M. Sutton Jr., Isabelle Rouvellou	Modeling of software concerns in Cosmos.	AOSD	2002	DBLP DOI BibTeX RDF	MDSOC, concern-space modeling, hyperspaces, multidimensional separation of concerns, software information modeling, AOSD, aspect-oriented software development, cosmos
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	David Daly, William H. Sanders	A Connection Formalism for the Solution of Large and Stiff Models.	Annual Simulation Symposium	2001	DBLP DOI BibTeX RDF
1	Frederick T. Sheldon, Hye Yeon Kim, Zhihe Zhou	A Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance.	PRDC	2001	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	Stephan Schulz II, T. C. Ewing, Jerzy W. Rozenblit	Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling.	ECBS	2000	DBLP DOI BibTeX RDF	Modeling, Embedded Systems, DEVS
1	David Daly, Daniel D. Deavours, Jay M. Doyle, Patrick G. Webster, William H. Sanders	Möbius: An Extensible Tool for Performance and Dependability Modeling.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
1	Mihalis Yannakakis	Hierarchical State Machines.	IFIP TCS	2000	DBLP DOI BibTeX RDF
1	Alessandro Artale, Enrico Franconi	Reasoning with Enhanced Temporal Entity-Relationship Models. (PDF / PS)	DEXA Workshops	1999	DBLP DOI BibTeX RDF	Reasoning, Temporal Databases, Entity-Relationship
1	Aad P. A. van Moorsel, Yiqing Huang	Reusable Software Components for Performability Tools and Their Utilization for Web-Based Configurable Tools.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
1	Mehmet Aksit, Bedir Tekinerdogan	Automating the Object-Oriented Development Process: Workshop Report.	ECOOP Workshops	1998	DBLP DOI BibTeX RDF
1	Rodion M. Podorozhny, Leon J. Osterweil	The Criticality of Modeling Formalisms in Software Design Method Comparison: Experience Report.	ICSE	1997	DBLP DOI BibTeX RDF	base framework, process formalism, software process, comparison, software development methodology
1	Olivier Gerbé	Conceptual Graphs for Corporate Knowledge Repositories.	ICCS	1997	DBLP DOI BibTeX RDF
1	Peter Kemper	Numerical Analysis of Superposed GSPNs.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	superposed GSPN, numerical solution algorithm for steady-state analysis tensor/Kronecker algebra, Markov process, decomposition, reachability analysis, Stochastic Petri net, structured representation
1	Young-Gul Kim, Salvatore T. March	Comparing Data Modeling Formalisms.	Commun. ACM	1995	DBLP DOI BibTeX RDF
1	Herbert Praehofer, Franz Pichler	Multifacetted, Object Oriented Modeling in the Transportation Domain.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	George T. Heineman	Automatic translation of process modeling formalisms.	CASCON	1994	DBLP DOI BibTeX RDF
1	K. Takeda, David N. Chin, I. Miyamoto	MERA: Meta Language for Software Engineering.	SEKE	1992	DBLP DOI BibTeX RDF