The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for TMS with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1979-1989 (18) 1990-1991 (16) 1992-1999 (15) 2000-2003 (15) 2004-2005 (15) 2006-2007 (31) 2008-2009 (24) 2010 (15) 2011 (51) 2012 (69) 2013 (55) 2014 (57) 2015 (48) 2016 (38) 2017 (37) 2018 (27) 2019-2020 (26) 2021 (27) 2022 (21) 2023 (17) 2024 (3)
Publication types (Num. hits)
article(205) incollection(2) inproceedings(410) proceedings(8)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 75 occurrences of 63 keywords

Results
Found 625 publication records. Showing 625 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
119Jemin Lee, Hano Wang, Woohyun Seo, Daesik Hong QoS-guaranteed transmission mode selection for efficient resource utilization in multi-hop cellular networks. Search on Bibsonomy IEEE Trans. Wirel. Commun. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
89Yoon Seok Jeong, Tae Wan Kim, Chun-Hyon Chang Modeling of a Monitoring Scheme for TMO Model-based Real-Time Systems. Search on Bibsonomy ISORC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
74Yide Shen Transactive memory system development in virtual teams: the potential role of shared identity and shared context. Search on Bibsonomy CPR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF shared identity, transactive memory system, virtual team, shared context
74André Ivanov, Vinod K. Agarwal Dynamic testability measures for ATPG. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
64Lei Sun, Ke Xu 0002, Weidong Liu 0001, Jianping Wu TMS: A Scalable Transition Multicast Scheme. Search on Bibsonomy IWDC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
61Sangho Lee, Dong Hwi Lee, Kuinam J. Kim A Conceptual Design of Knowledge-Based Real-Time Cyber-Threat Early Warning System. Search on Bibsonomy ISPA Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Cyber-threat, TMS, Early-Warning, ESM
60Lei Liu, Pamela J. Hinds Transactive memory systems: a perspective on coordination in human-robot incident response teams. Search on Bibsonomy HRI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF transactive memory systems (TMS), human-robot interaction
59Rachid Guerraoui, Michal Kapalka The semantics of progress in lock-based transactional memory. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF try-lock, semantics, lower bound, transactional memory, reduction, lock, impossibility, consensus number
59Ghada Badr, Eric Joanis, Samuel Larkin, Roland Kuhn 0001 Manageable Phrase-Based Statistical Machine Translation Models. Search on Bibsonomy Computer Recognition Systems 2 The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
59Joshua J. Arulanandham Unconventional "Stateless" Turing-Like Machines. Search on Bibsonomy UC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
59Gabriel Baud-Bovy, Simone Rossi, Domenico Prattichizzo Effects of Transcranial Magnetic Stimulation of the Primary Motor Cortex on the Grip and Net Forces in the Tripod Grasp. Search on Bibsonomy WHC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
59Junseok Hwang, Jörn Altmann, Ibrahim T. Okumus, Praveen Aravamudham Transaction management for sender/receiver-payment schemes in charging and accounting systems for interconnected networks. Search on Bibsonomy NOMS (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
59Neli Zlatareva Truth maintenance systems and their application for verifying Expert System Knowledge Bases. Search on Bibsonomy Artif. Intell. Rev. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Verification of Rule-based Systems, Expert Systems Design, Knowledge-based Systems, Belief Revision, Nonmonotonic Reasoning
57Martin Tik, Michael Woletz, Anna-Lisa Schuler, Maria Vasileiadi, R. F. H. Cash, Andrew Zalesky, Claus Lamm, Christian Windischberger Acute TMS/fMRI response explains offline TMS network effects - An interleaved TMS-fMRI study. Search on Bibsonomy NeuroImage The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
49Jürgen Bierbrauer A direct approach to linear programming bounds for codes and tms-nets. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF AMS Classifications 11K38, 11K45, 94B65, 05E30
49Hansu Cho, Samar Abdi, Daniel Gajski Design and implementation of transducer for ARM-TMS communication. Search on Bibsonomy ASP-DAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
45Shefali S. Dash, Inder Pal Singh Sethi National Do Not Call Registry in India: a step towards restricting unsolicited telemarketing calls. Search on Bibsonomy ICEGOV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF NDNC registry, TRAI, national informatics centre, telemarketers, telemarketing, unsolicited commercial communication, telecom operators
45Gregory M. Nielson, Liyan Zhang 0002, Kun Lee, Adam Huang Parameterizing Marching Cubes Isosurfaces with Natural Neighbor Coordinates. Search on Bibsonomy GMP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Natural Neighbor Coordinates, Parameterization, Marching Cubes
45David Rincón 0001, Matthew Roughan, Walter Willinger Towards a meaningful MRA of traffic matrices. Search on Bibsonomy Internet Measurement Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF diffusion wavelets, traffic characterization, multi-resolution analysis, traffic matrices
45Miao Ma Tabu Marking Scheme for IP Traceback. Search on Bibsonomy IPDPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
45Sung-Hyuck Lee, Seung-Joon Seok, Seung-Jin Lee 0001, Sung-Kwan Youm, Chul-Hee Kang Two-Differentiated Marking Strategies for TCP Flows in a Differentiated Services Network. Search on Bibsonomy QofIS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
45Samir Boubezari, Eduard Cerny, Bozena Kaminska, Benoit Nadeau-Dostie Testability analysis and test-point insertion in RTL VHDL specifications for scan-based BIST. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
45Karlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen Timed Modal Specification - Theory and Tools. Search on Bibsonomy CAV The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
45Yuejun Jiang Another View of Autoepistemic Logic and Truth Maintenance System. Search on Bibsonomy ISMIS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Fixpoint Nonmonotonic reasoning, Minimum Stable sets, Autoepistemic Logic and Truth-maintenance Systems, Knowledge Representation
38Ferrando Barros, Xiaolin Hu 0002, Joachim Denil, Hessam S. Sarjoughian (eds.) Proceedings of the Theory of Modeling and Simulation Symposium, SpringSim (TMS) 2018, Baltimore, MD, USA, April 15-18, 2018 Search on Bibsonomy SpringSim (TMS) The full citation details ... 2018 DBLP  BibTeX  RDF
38Abdurrahman Alshareef, Hessam S. Sarjoughian Parallelism semantics in modeling activities. Search on Bibsonomy SpringSim (TMS) The full citation details ... 2018 DBLP  BibTeX  RDF
38Fernando J. Barros Handling overlapping collisions: a dynamic topology approach. Search on Bibsonomy SpringSim (TMS) The full citation details ... 2018 DBLP  BibTeX  RDF
38Sanish Rai, Xiaolin Hu 0002 Hybrid agent-based and graph-based modeling for building occupancy simulation. Search on Bibsonomy SpringSim (TMS) The full citation details ... 2018 DBLP  BibTeX  RDF
38Ifeoluwa Oyelowo, Bruno Artacho, Siu O'Young, Gabriel A. Wainer Using cell-DEVS for prototyping unmanned aircraft system traffic simulation. Search on Bibsonomy SpringSim (TMS) The full citation details ... 2018 DBLP  BibTeX  RDF
38Bernard P. Zeigler Closure under coupling: concept, proofs, DEVS recent examples (wip). Search on Bibsonomy SpringSim (TMS) The full citation details ... 2018 DBLP  BibTeX  RDF
38Stig Bosmans, Siegfried Mercelis, Peter Hellinckx, Joachim Denil Towards evaluating emergent behavior of the internet of things using large scale simulation techniques (wip). Search on Bibsonomy SpringSim (TMS) The full citation details ... 2018 DBLP  BibTeX  RDF
38James J. Nutaro, Bernard P. Zeigler Towards a theory of economic value for modeling and simulation: incremental cost of parallel simulation (wip). Search on Bibsonomy SpringSim (TMS) The full citation details ... 2018 DBLP  BibTeX  RDF
38Ifeoluwa Oyelowo, Gabriel A. Wainer, Ngozi Silas Echegini, Joseph Boi-Ukeme, Sergio Zlotnik Cell-DEVS modeling and simulation of artificial hydraulic fracturing of rocks in boreholes (wip). Search on Bibsonomy SpringSim (TMS) The full citation details ... 2018 DBLP  BibTeX  RDF
38Xudong Zhang 0004, Ali Mohamed, Linda Nguyen, Feng Gu 0001 Performance analysis of parallel/distributed particle filters. Search on Bibsonomy SpringSim (TMS) The full citation details ... 2018 DBLP  BibTeX  RDF
38Sebastien Gougeaud, Soraya Zertal, Jacques-Charles Lafoucriere, Philippe Deniel Designing a parallel OGSSim through library specificities. Search on Bibsonomy SpringSim (TMS) The full citation details ... 2018 DBLP  BibTeX  RDF
38Paul-Henri Martelloni, Gauthier Quesnel, Eric Innocenti, Paul-Antoine Bisgambiglia, Pierre-Régis Gonsolin, Paul Bisgambiglia Component-based simulation for spatial complex systems in VLE environment. Search on Bibsonomy SpringSim (TMS) The full citation details ... 2018 DBLP  BibTeX  RDF
38Chungman Seo, Bernard P. Zeigler, Doohwan Kim DEVS markov modeling and simulation: formal definition and implementation. Search on Bibsonomy SpringSim (TMS) The full citation details ... 2018 DBLP  BibTeX  RDF
38Fernando Barros, Herbert Prähofer, Xiaolin Hu 0002, Joachim Denil (eds.) Proceedings of the Symposium on Theory of Modeling & Simulation, TMS/DEVS 2016, part of the 2016 Spring Simulation Multiconference, SpringSim '16, Pasadena, CA, USA, April 3-6, 2016 Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Damián Vicino, Olivier Dalle, Gabriel A. Wainer An advanced data type with irrational numbers to implement time in DEVS simulators. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Benjamin Camus, Virginie Galtier, Mathieu Caujolle, Vincent Chevrier, Julien Vaubourg, Laurent Ciarletta, Christine Bourjot Hybrid co-simulation of FMUs using DEV&DESS in MECSYCO. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Laouen Belloli, Gabriel A. Wainer, Rafael Najmanovich Parsing and model generation for biological processes. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Braulio Adriano de Mello, Gabriel A. Wainer Scheduling predictability in I-DEVS by schedulability analysis. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38David Ackerman, Hoda Mehrpouyan Modeling human behavior to anticipate insider attacks via system dynamics. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Gamini Bulumulle, Ladislau Bölöni A study of the automobile blind-spots' spatial dimensions and angle of orientation on side-sweep accidents. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Xu Xie 0003, Alexander Verbraeck, Feng Gu Data assimilation in discrete event simulations: a rollback based Sequential Monte Carlo approach. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Nicholas Keller, Xiaolin Hu 0002 Data driven simulation modeling for mobile agent-based systems. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Rhys Goldstein, Simon Breslav, Azam Khan A quantum of continuous simulated time. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Anna Deitsch, Vitali Schneider, Jennifer Kane, Winfried Dulz, Reinhard German Towards an efficient high-level modeling of heterogeneous image processing systems. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Hesham Saadawi, Gabriel A. Wainer, German Pliego DEVS execution acceleration with machine learning. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Ben Cardoen, Stijn Manhaeve, Tim Tuijn, Yentl Van Tendeloo, Kurt Vanmechelen, Hans Vangheluwe, Jan Broeckhove Performance analysis of a PDEVS simulator supporting multiple synchronization protocols. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Rhys Goldstein, Simon Breslav, Azam Khan DesignDEVS: reinforcing theoretical principles in a practical and lightweight simulation environment. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Sahar Guermazi, Saadia Dhouib, Arnaud Cuccuru, Camille Letavernier, Sébastien Gérard Integration of UML models in FMI-based co-simulation. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Sangeeth Saagar Ponnusamy, Vincent Albert, Patrice Thebault Simulation fidelity distance: a game-theoretic framework. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Umut Durak, Anil Öztürk, Mehmet Katircioglu Simulation deployment blockset for MATLAB/Simulink. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Fernando J. Barros A modular representation of asynchronous, geometric solvers. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Robert H. Kewley, Neil Kester, Joseph McDonnell DEVS distributed modeling framework: a parallel DEVS implementation via microservices. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Daniella Niyonkuru, Gabriel A. Wainer A kernel for embedded systems development and simulation using the boost library. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Gary R. Mayer Composition of composable cellular automata with respect to their dimensional attributes. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Deniz Çetinkaya A model driven approach to web-based traffic simulation. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Priyasree Bhowmik, Christopher Dutchyn, Nathaniel D. Osgood An aspect oriented framework to applying markov chain Monte Carlo methods with dynamic models. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38David P. Y. Lawrence, Cláudio Gomes 0001, Joachim Denil, Hans Vangheluwe, Didier Buchs Coupling petri nets with deterministic formalisms using co-simulation. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Sadaf Mustafiz, Cláudio Gomes 0001, Bruno Barroca, Hans Vangheluwe Modular design of hybrid languages by explicit modeling of semantic adaptation. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Peter M. Maurer Time-parallel multi-delay logic simulation. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Andrea D'Ambrogio, Emiliano Paglia, Paolo Bocciarelli, Andrea Giglio Towards performance-oriented perfective evolution of BPMN models. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Abdurrahman Alshareef, Hessam S. Sarjoughian, Bahram Zarrin An approach for activity-based DEVS model specification. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Hamzat Olanrewaju Aliyu, Mamadou Kaba Traoré Integrated framework for model-driven systems engineering: a research roadmap. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Yentl Van Tendeloo, Hans Vangheluwe Teaching the fundamentals of the modelling of cyber-physical systems. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2016 DBLP  BibTeX  RDF
38Gabriel A. Wainer, Mamadou K. Traoré, Reiko Heckel, Jan Himmelspach (eds.) 2011 Spring Simulation Multi-conference, SpringSim '11, Boston, MA, USA, April 03-07, 2011. Volume 4: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (TMS-DEVS). Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Khaoula Al Ali, Wolfgang Fengler 0001, Bernd Däne Extended coloured Petri nets with structured tokens formal method for distributed systems. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Jeffrey P. Buzen The rationale for shaped simulation. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Saurabh Mittal, Scott A. Douglass From domain specific languages to DEVS components: application to cognitive M&S. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Pau Fonseca i Casas, Miquel Ramo Nñerola, Angel A. Juan Using specification and description language to represent users' profiles in OMNET++ simulations. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Mohammad Moallemi, Shafagh Jafer, Ahmed Sayed Ahmed, Gabriel A. Wainer Interfacing DEVS and visualization models for emergency management. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Pascal Weyprecht, Oliver Rose Model-driven development of simulation solution based on SysML starting with the simulation core. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Allan I. McInnes, Brian R. Thorne ScipySim: towards distributed heterogeneous system simulation for the SciPy platform. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Hoda Ahmadinejad, Fatemeh Refan, Hessam S. Sarjoughian NoC simulation modeling in DEVS-suite. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Gustavo Rau de Almeida Callou, Erica Sousa, Paulo Romero Martins Maciel, Eduardo Tavares, Bruno Silva 0001, Jair Figueiredo, Carlos Araújo, Fábio S. Magnani, Francisco A. S. Neves A formal approach to the quantification of sustainability and dependability metrics on data center infrastructures. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Shafagh Jafer, Gabriel A. Wainer A performance evaluation of the conservative DEVS protocol in parallel simulation of DEVS-based models. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Olivier Dalle, Judicaël Ribault Some desired features for the DEVS architecture description language. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Ki-Jeong Kwon, Chungman Seo, Bernard P. Zeigler Automating DEVS over data distribution service for high performance and interoperability. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Saurabh Mittal, Scott A. Douglass Net-centric act-R-based cognitive architecture with DEVS unified process. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Ken Edwards, Gabriel A. Wainer GATLAS: Google Earth visualization for ATLAS. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Horacio Hoyos, Rubby Casallas, Fernando Jiménez, Darío Correal HiLeS2: model driven embedded system virtual prototype generation. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Margherita Napoli, Mimmo Parente Graded CTL model checking for test generation. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Ronald Apriliyanto Halim The simulation-based multi-objective evolutionary optimization (SIMEON) framework. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Luc Touraille, Mamadou K. Traoré, David R. C. Hill A model-driven software environment for modeling, simulation and analysis of complex systems. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Hessam S. Sarjoughian, Yu Chen Standardizing DEVS models: an endogenous standpoint. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Olivier Zanon The SimTG simulation modeling framework a domain specific language for space simulation. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Paulo Salem da Silva, Ana Cristina Vieira de Melo On-the-fly verification of discrete event simulations by means of simulation purposes. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua Synchronizing sequences on not strongly connected Petri nets. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Greg Franks Simulating layered queueing networks with passive resources. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Zhiying Tu, Gregory Zacharewicz, David Chen 0001 Harmonized and reversible development framework for HLA based interoperable application. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Norbert Giambiasi ISTSM: incompletely specified timed sequential machines. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Paolo Bocciarelli, Andrea D'Ambrogio A BPMN extension for modeling non functional properties of business processes. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Xiaobo 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
38Reehan Shaikh, Hans Vangheluwe Transforming UML2.0 class diagrams and statecharts to atomic DEVS. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Moon Ho Hwang Taxonomy of DEVS subclasses for standardization. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Joachim Denil, Hans Vangheluwe, Pieter Ramaekers, Paul De Meulenaere, Serge Demeyer DEVS for AUTOSAR platform modelling. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Mohammad Moallemi, Gabriel A. Wainer I-DEVS: imprecise real-time and embedded DEVS modeling. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
38Pamela Viale, Claudia S. Frydman, Jacques Pinaton Constructing DEVS models based on experts' knowledge: application to STMicroelectronics' large scale manufacturing processes. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 625 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license