The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase DEVS-Formalism (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1987-2002 (18) 2003-2004 (17) 2005-2007 (28) 2008-2009 (27) 2010-2015 (15) 2016-2019 (7)
Publication types (Num. hits)
article(16) incollection(2) inproceedings(92) phdthesis(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 98 occurrences of 60 keywords

Results
Found 112 publication records. Showing 112 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
109Nicolas G. Meseth, Patrick Kirchhof, Thomas Witte XML-based DEVS modeling and interpretation. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  DOI  BibTeX  RDF DEVSJAVA, XLSC, XML, reusability, DEVS
86Brian Webb, Gabriel A. Wainer Implementing the SCIDDICA landslide model in Cell-DEVS. Search on Bibsonomy SpringSim The full citation details ... 2008 DBLP  DOI  BibTeX  RDF landslide modelling, cellular automata, discrete event simulation, DEVS, Cell-DEVS
79Mohammad Moallemi, Gabriel A. Wainer Design of Persian tapestry in CD++. Search on Bibsonomy SpringSim The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Persian tapestry, cellular automata, DEVS
77Kihyung Kim, Wonseok Kang, Bong Sagong, Hyungon Seo Efficient Distributed Simulation of Hierarchical DEVS Models: Transforming Model Structure into a Non-Hierarchical One. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 2000 DBLP  DOI  BibTeX  RDF hierarchical simulation, discrete event simulation, distributed simulation, DEVS formalism
75Patrick Castonguay, Tania Pendergast, Gabriel A. Wainer Tools for DEVS modeling, simulation and 3D visualization. Search on Bibsonomy SimuTools The full citation details ... 2009 DBLP  DOI  BibTeX  RDF visualization, discrete-event simulation, CD++, cell-DEVS
68Eugene Syriani, Hans Vangheluwe Programmed Graph Rewriting with DEVS. Search on Bibsonomy AGTIVE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
66Won Young Lee, Hee Suk Seo, Tae Ho Cho Modeling of Policy-Based Network with SVDB. Search on Bibsonomy AIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF PBNM (Policy-based Network Management), simulation, Data Mining, network security, Security Policy, DEVS formalism
63Joe Mooney, Hessam S. Sarjoughian A framework for executable UML models. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  DOI  BibTeX  RDF discrete event simulation, state machine, DEVS, executable UML
63Saurabh Mittal, José Luis Risco-Martín, Bernard P. Zeigler DEVSML: automating DEVS execution over SOA towards transparent simulators. Search on Bibsonomy SpringSim (2) The full citation details ... 2007 DBLP  BibTeX  RDF DEVSML, JavaML, web services, SOA
61Hernán P. Dacharry, Norbert Giambiasi A formal verification approach for DEVS. Search on Bibsonomy SCSC The full citation details ... 2007 DBLP  BibTeX  RDF formal verification, timed automata, DEVS
57Thierry Antoine-Santoni, Jean François Santucci, Emmanuelle de Gentili, Bernadette Costa Modelling & simulation oriented components of wireless sensor network using DEVS formalism. Search on Bibsonomy SpringSim (2) The full citation details ... 2007 DBLP  BibTeX  RDF WSN, components, routing protocol, DEVS
56Thierry Antoine-Santoni, Jean François Santucci, Emmanuelle de Gentili, Bernadette Costa DEVS-WSN : A discrete event approach for Wireless Sensor Network simulation. Search on Bibsonomy AICCSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
56Olivier Dalle, Gabriel A. Wainer An open issue on applying sharing modeling patterns in DEVS. Search on Bibsonomy SCSC The full citation details ... 2007 DBLP  BibTeX  RDF shared components, discrete event simulation, DEVS, systems theory, component-based modeling
56Ki-Hyung Kim, Won-Seok Kang CORBA-Based, Multi-threaded Distributed Simulation of Hierarchical DEVS Models: Transforming Model Structure into a Non-hierarchical One. Search on Bibsonomy ICCSA (4) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
56Ryo Sato Toward a unified theory of discrete event systems. Search on Bibsonomy EUROCAST The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
51Mohamed Wassim Trojet, Claudia S. Frydman, Maâmar El-Amine Hamri Practical application of "lightweight" Z in DEVS framework. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  BibTeX  RDF formal verification, DEVS, lightweight formal methods, Z specification
51Eugene Syriani, Hans Vangheluwe Programmed Graph Rewriting with Time for Simulation-Based Design. Search on Bibsonomy ICMT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
51Olivier Dalle, Bernard P. Zeigler, Gabriel A. Wainer Extending DEVS to support multiple occurrence in component-based simulation. Search on Bibsonomy Winter Simulation Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
51Hui Shang, Gabriel A. Wainer A Model of Virus Spreading Using Cell-DEVS. Search on Bibsonomy International Conference on Computational Science (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
51Javier Ameghino, Gabriel A. Wainer Using Cell-DEVS for Modeling Complex Cell Spaces. Search on Bibsonomy AIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
51Eric Innocenti, Alexandre Muzy, Antoine Aïello, Jean François Santucci, David R. C. Hill Active-DEVS: a computational model for the simulation of forest fire propagation. Search on Bibsonomy SMC (2) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
49Doo-Yeoun Cho, Myeong-Jo Son, Jung-Ho Kang, Sung-Jun Lee, Ju-Hwan Cha, Seong-Jin Yoo, Hyo-Kwang Lee, Kyu-Yeul Lee, Tae Wan Kim, Yong-Seog Ko Analysis of a submarine's evasive capability against an antisubmarine warfare torpedo using DEVS modeling and simulation. Search on Bibsonomy SpringSim (2) The full citation details ... 2007 DBLP  BibTeX  RDF evasive capability, simulation based acquisition (SBA), submarine, unified modeling language (UML), DEVS formalism
49Hyung-Jong Kim Vulnerability Modeling and Simulation for DNS Intrusion Tolerance System Construction. Search on Bibsonomy AIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Atomic Vulnerability, DNS, Intrusion Tolerance, Vulnerability Analysis, DEVS formalism
49HyungJong Kim System Specification Based Network Modeling for Survivability Testing Simulation. Search on Bibsonomy ICISC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Survivability, Simulation Model, Vulnerability Analysis, System Specification, DEVS-Formalism
45Liu Baohong, Kedi Huang A Formal Description Specification for Multi-resolution Modeling (MRM) Based on DEVS Formalism. Search on Bibsonomy AIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
45Bernard P. Zeigler, Doohwan Kim, Herbert Praehofer DEVS Formalism as a Framework for Advanced Distributed Simulation. Search on Bibsonomy DIS-RT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
45Stéphane Garredu Approche de méta-modélisation et transformations de modèles dans le contexte de la modélisation et simulation à évènements discrets : application au formalisme DEVS. (Meta-modeling approach and model transformations in the context of modeling and discrete event simulation : application DEVS formalism). Search on Bibsonomy 2013   RDF
45Fahad A. Shiginah, Bernard P. Zeigler A new cell space DEVS specification: Reviewing the parallel DEVS formalism seeking fast cell space simulations. Search on Bibsonomy Simulation Modelling Practice and Theory The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
44Adelinde M. Uhrmacher, Jan Himmelspach, Mathias Röhl, Roland Ewald Introducing variable ports and multi-couplings for cell biological modeling in DEVS. Search on Bibsonomy Winter Simulation Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
44Carmen-Veronica Bobeanu, Eugene J. H. Kerckhoffs, Hendrik Van Landeghem Modeling of discrete event systems: A holistic and incremental approach using Petri nets. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF experimental frame, Petri nets, DEVS, structural modeling, Algebraic structures
44Alejandro J. Troccoli, Javier Ameghino, Fernando Iñón, Gabriel A. Wainer A Flow Injection Model Using Cell-DEVS. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
44Javier Ameghino, Alejandro J. Troccoli, Gabriel A. Wainer Models of Complex Physical Systems Using Cell-DEVS. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
42Hernán P. Dacharry, Norbert Giambiasi Discrete event modeling through a multi-formalism approach, from a user-oriented perspective. Search on Bibsonomy SpringSim (2) The full citation details ... 2007 DBLP  BibTeX  RDF DEVS modeling methodology, multi-formalisms approach, discrete event modeling
40Yinfeng Henry Yu, Gabriel A. Wainer eCD++: an engine for executing DEVS models in embedded platforms. Search on Bibsonomy SCSC The full citation details ... 2007 DBLP  BibTeX  RDF
40Gabriel A. Wainer Modeling Robot Path Planning with CD++. Search on Bibsonomy ACRI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Mohamed Abd El-Salam Ahmed, Khalil Yonis, Abdul-Rahman Elsahfei, Gabriel A. Wainer Design and Implementation of a Library of Network Protocols in CD++. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Mariana C. D'Abreu, Gabriel A. Wainer Hybrid dynamic systems: models for continous and hybrid system simulation. Search on Bibsonomy Winter Simulation Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Alexandre Muzy, Eric Innocenti, Antoine Aïello, Jean François Santucci, Gabriel A. Wainer Methods for special applications: Cell-DEVS quantization techniques in a fire spreading application. Search on Bibsonomy Winter Simulation Conference The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
33Jong Hyuk Byun, Chang Beom Choi, Tag Gon Kim Verification of the DEVS model implementation using aspect embedded DEVS. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  BibTeX  RDF aspect oriented programming based verification, discrete event simulator verification, DEVS formalism
33Jean François Santucci, Emmanuelle de Gentili Dynamic variable structure modelling and simulation of the Claude Levi-Strauss's mythical thought morphodynamics. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Levi-Strauss, structural anthropology, variable dynamic structure, discrete event simulation, DEVS
33Mamoun Sqali, Lucile Torres, Claudia S. Frydman Synthesizing scenarios to DEVS models. Search on Bibsonomy SpringSim The full citation details ... 2008 DBLP  DOI  BibTeX  RDF requirement validation and checking, scenarios, DEVS, behavioral specification
33Miriam Zia, Sadaf Mustafiz, Hans Vangheluwe, Jörg Kienzle A modelling and simulation based process for dependable systems design. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Miriam Zia, Sadaf Mustafiz, Hans Vangheluwe, Jörg Kienzle A Modelling and Simulation Based Approach to Dependable System Design. Search on Bibsonomy MoDELS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Bernard P. Zeigler DEVS Today: Recent Advances in Discrete Event-Based Information Technology. Search on Bibsonomy MASCOTS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Ehsan M. Ahmad, Hessam S. Sarjoughian A Behavior Annex For AADL Using The DEVS Formalism. Search on Bibsonomy SpringSim The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
29Yentl Van Tendeloo, Hans Vangheluwe Extending the DEVS Formalism with Initialization Information. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
29Antoine Dominici, Emmanuelle de Gentili, Laurent Capocchi, Jean François Santucci Smart-Parking: Integration and data management by modeling and simulation using connected objects according to the DEVS formalism. Search on Bibsonomy UV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29María Julia Blas, Silvio M. Gonnet, Horacio P. Leone, Bernard P. Zeigler A Conceptual Framework to Classify the Extensions of DEVS Formalism as Variants and Subclasses. Search on Bibsonomy WSC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Celine Kessler, Laurent Capocchi, Jean François Santucci, Bernard P. Zeigler Hierarchical Markov decision process based on DEVS formalism. Search on Bibsonomy WSC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
29Ariel Gonzalez, Carlos Daniel Luna, Rodrigo Abella UML state machine as modeling language for DEVS formalism. Search on Bibsonomy CLEI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
29Moath Jarrah Modeling and Simulation of Renewable Energy Sources in Smart Grid Using DEVS Formalism. Search on Bibsonomy ANT/SEIT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
29Sangjoon Park, Seong-Moo Yoo Extended self-reproducible Discrete Event System Specification (DEVS) formalism using hidden inheritance. Search on Bibsonomy Inf. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
29Gabriel A. Wainer The cell-DEVS formalism as a method for activity tracking in spatial modelling and simulation. Search on Bibsonomy IJSPM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
29Youssef Bouanan, Mathilde Forestier, Judicaël Ribault, Gregory Zacharewicz, Bruno Vallespir, Néjib Moalla Simulating information diffusion in a multidimensional social network using the DEVS formalism (WIP). Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2015 DBLP  BibTeX  RDF
29Youcef Dahmani, Maâmar El-Amine Hamri Specification of the State Lifetime in the DEVS Formalism by Fuzzy Controller. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
29Sol Ha, Namkug Ku, Myung-Il Roh, Ju-Hwan Cha Reliability Analysis Method Using Dynamic Reliability Block Diagram Based on DEVS Formalism. Search on Bibsonomy AsiaSim The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
29Bastien Poggi, Thierry Antoine-Santoni Wireless Sensor Network deployment using DEVS formalism and GIS representation. Search on Bibsonomy SPECTS The full citation details ... 2012 DBLP  BibTeX  RDF
29Xiaobo Li 0003, Hans Vangheluwe, Yonglin Lei, Hongyan Song, Weiping Wang 0002 A testing framework for DEVS formalism implementations. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
29Gabriel A. Wainer, Rodrigo Castro A Survey on the Application of the Cell-DEVS Formalism. Search on Bibsonomy J. Cellular Automata The full citation details ... 2010 DBLP  BibTeX  RDF
29Young-Sik Jeong, Won-Hee Han, Eun-Ha Song, Sang-Soo Yeo Performance evaluation with DEVS formalism and implementation of active emergency call system for realtime location and monitoring. Search on Bibsonomy Simulation Modelling Practice and Theory The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
29Victorino Sanz, Alfonso Urquia, François E. Cellier, Sebastián Dormido 0001 System modeling using the Parallel DEVS formalism and the Modelica language. Search on Bibsonomy Simulation Modelling Practice and Theory The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
29Mahuna Akplogan, Gauthier Quesnel, Frédérick Garcia, Alexandre Joannon, Roger Martin-Clouaire Towards a deliberative agent system based on DEVS formalism for application in agriculture. Search on Bibsonomy SummerSim The full citation details ... 2010 DBLP  BibTeX  RDF
29Chang Beom Choi, Jangwon Bae, Tag Gon Kim, Jaeick Kim, Woong-Gie Han, Cheol Ho Kim Benefits and challenges in developing warship simulator based on DEVS formalism. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  BibTeX  RDF
29Mohammad Moallemi, Ali Arya, Gabriel A. Wainer Simulation of three dimensional elevator system using cell-DEVS formalism. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  BibTeX  RDF
29Lukas Grulich, Frantisek Zboril Socioeconomic modelling using the DEVS formalism. Search on Bibsonomy Int. J. Auton. Comp. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Gang Liu, Yiping Yao, Shaoliang Peng EDEVS : A Scalable DEVS Formalism for Event-Scheduling Based Parallel and Distributed Simulations. Search on Bibsonomy DS-RT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Tag Gon Kim DEVS Formalism for Modeling of Discrete-Event Systems. Search on Bibsonomy Handbook of Dynamic System Modeling The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29KeungSik Choi, Doo-Hwan Bae, TagGon Kim An approach to a hybrid software process simulation using the DEVS formalism. Search on Bibsonomy Software Process: Improvement and Practice The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Fahad Awadh Bait Shiginah Multi-Layer Cellular DEVS Formalism for Faster Model Development and Simulation Efficiency. Search on Bibsonomy 2006   RDF
29Sangjoon Park, Byunggi Kim Self-reproducible DEVS formalism. Search on Bibsonomy J. Parallel Distrib. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Gabriel A. Wainer, Ezequiel Glinsky, Peter MacSween A Model-Driven Technique for Development of Embedded Systems Based on the DEVS Formalism. Search on Bibsonomy Model-Driven Software Development The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Mauro Marcelo Mattos KBOS run-time environment based on DEVS formalism. Search on Bibsonomy IADIS AC The full citation details ... 2005 DBLP  BibTeX  RDF
29Sangjoon Park, Kwanjoong Kim DEVS Formalism: A Hierarchical Generation Scheme. Search on Bibsonomy AIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Alfredo Anglani, Antonio Grieco, Emanuela Guerriero, Francesco Nucci, Quirico Semeraro, Tullio Tolio Object-Oriented simulation models based on the DEVS formalism. Search on Bibsonomy ESM The full citation details ... 2000 DBLP  BibTeX  RDF
29Yung-Hsin Wang, Bernard P. Zeigler Extending the DEVS formalism for massively parallel simulation. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
29Bernard P. Zeigler, Sankait Vahie DEVS formalism and methodology: unity of conception/diversity of application. Search on Bibsonomy Winter Simulation Conference The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
29Arturo I. Concepcion, Bernard P. Zeigler DEVS Formalism: A Framework for Hierarchical Model Development. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF hierarchical model development, distributed simulator architectures, Discrete Event System Specification, hierarchical model specification, top-down model development, software engineering, distributed processing, programming theory, DEVS, model representation, discrete event models
29Tag Gon Kim, Bernard P. Zeigler The DEVS formalism: hierarchical, modular systems specification in an object oriented framework. Search on Bibsonomy Winter Simulation Conference The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
28Wei-Tek Tsai, Hessam S. Sarjoughian, Wu Li, Xin Sun 0003 Timing specification and analysis for service-oriented simulation. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  DOI  BibTeX  RDF service-oriented simulation, timing specifications and analysis, DEVS
28Rodrigo Castro, Ernesto Kofman, Gabriel A. Wainer A formal framework for stochastic DEVS modeling and simulation. Search on Bibsonomy SpringSim The full citation details ... 2008 DBLP  DOI  BibTeX  RDF discrete event simulation, DEVS, stochastic systems
28Kiril Kidisyuk, Gabriel A. Wainer CD++Modeler: a graphical toolkit to develop DEVS models. Search on Bibsonomy SpringSim The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Hessam S. Sarjoughian, Sungung Kim, Muthukumar Ramaswamy, Stephen S. Yau A simulation framework for service-oriented computing systems. Search on Bibsonomy Winter Simulation Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Rhys Goldstein, Gabriel A. Wainer, James J. Cheetham, Roderick S. Bain Vesicle-synapsin interactions modeled with Cell-DEVS. Search on Bibsonomy Winter Simulation Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Yi Sun, Xiaolin Hu Partial-modular DEVS for improving performance of cellular space wildfire spread simulation. Search on Bibsonomy Winter Simulation Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Nicolas G. Meseth, Patrick Kirchhof, Thomas Witte An XML-based language for DEVS components. Search on Bibsonomy Winter Simulation Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Carsten Maus Component-Based Modelling of RNA Structure Folding. Search on Bibsonomy CMSB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF RNA folding, model components, DEVS, secondary structure, multi-level
28Chuan Feng, Jianfeng Peng, Haiyan Qiao, Jerzy W. Rozenblit Alert Fusion for a Computer Host Based Intrusion Detection System. Search on Bibsonomy ECBS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Hui Shang, Gabriel A. Wainer A simulation algorithm for dynamic structure DEVS modeling. Search on Bibsonomy Winter Simulation Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Qi Liu 0009, Gabriel A. Wainer Simulating Market Dynamics with CD++. Search on Bibsonomy International Conference on Computational Science (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Xiaolin Hu, Bernard P. Zeigler Model Continuity to Support Software Development for Distributed Robotic Systems: A Team Formation Example. Search on Bibsonomy Journal of Intelligent and Robotic Systems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF distributed robotic system, model continuity, scalability, DEVS, modeling and simulation, team formation
28Ki-Hyung Kim, Won-Seok Kang A Web Services-Based Distributed Simulation Architecture for Hierarchical DEVS Models. Search on Bibsonomy AIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
28Stephan Schulz 0002, T. C. Ewing, Jerzy W. Rozenblit Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling. Search on Bibsonomy ECBS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Modeling, Embedded Systems, DEVS
28Kung-Chao Liu An Environment for Information System Prototyping: A System Simulation Approach. Search on Bibsonomy ICCI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
16Emilie Broutin, Paul Bisgambiglia, Jean François Santucci Simulation of heterogeneous DEVS models; application to the study of natural systems. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  BibTeX  RDF catchment basin, reusability, DEVS, multilayer
16Chang Ho Sung, Jeong-Hee Hong, Tag Gon Kim Interoperation of DEVS models and differential equation models using HLA/RTI: hybrid simulation of engineering and engagement level models. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  DOI  BibTeX  RDF combat system effectiveness, DEVS, hybrid simulation, MATLAB/Simulink, HLA/RTI
16Victorino Sanz, Shafagh Jafer, Gabriel A. Wainer, Gabriela Nicolescu, Alfonso Urquia, Sebastián Dormido 0001 Hybrid modeling of opto-electrical interfaces using DEVS and modelica. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  DOI  BibTeX  RDF opto-electrical systems, DEVS, CD++, modelica
16Paul Bisgambiglia, Emmanuelle de Gentili, Paul-Antoine Bisgambiglia, Jean François Santucci Fuzz-iDEVS: towards a fuzzy toolbox for discrete event systems. Search on Bibsonomy SimuTools The full citation details ... 2009 DBLP  DOI  BibTeX  RDF fuzzy toolbox, simulation, fuzzy logic, fuzzy system, discrete event
16María de los Milagros Gutiérrez, Horacio P. Leone DE2M: A solution for analyzing supply chain. Search on Bibsonomy Winter Simulation Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Chiril Chidisiuc, Gabriel A. Wainer CD++Builder: an eclipse-based IDE for DEVS modeling. Search on Bibsonomy SpringSim (2) The full citation details ... 2007 DBLP  BibTeX  RDF
16Victorino Sanz, Alfonso Urquia, Sebastián Dormido 0001 DEVS specification and implementation of SIMAN blocks using Modelica language. Search on Bibsonomy Winter Simulation Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 112 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license