The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "SpringSim"( http://dblp.L3S.de/Venues/SpringSim )

URL (DBLP): http://dblp.uni-trier.de/db/conf/springsim

Publication years (Num. hits)
2008 (128) 2009 (176) 2010 (244) 2019 (82) 2020 (69)
Publication types (Num. hits)
inproceedings(694) proceedings(5)
Venues (Conferences, Journals, ...)
SpringSim(699)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 748 occurrences of 502 keywords

Results
Found 699 publication records. Showing 699 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1 Serious games and tactical decision making training. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Luke Ng, Paul Hubbard, Siu O'Young Simulation of fully autonomous control of unmanned air vehicles for maritime surveillance. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Rafika El Harabi, Belkacem Ould Bouamama, Mohamed Kony Ben Gayed, Mohamed Naceur Abdelkrim Pseudo bond graph for fault detection and isolation of an industrial chemical reactor part II: FDI system design. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Kevin C. Stagl A path forward: advancing the science of UxV operations & training. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mihai Alexe, Alexandru Cioaca, Adrian Sandu Obtaining and using second order derivative information in the solution of large scale inverse problems. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Vjekoslav Damic, Majda Cohodar Bond graph for a finite element of a beam subjected to axial force and lateral excitation, with applications. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Youngshin Han, Chilgee Lee Two-way material transportation method based on 300mm wafer FAB line simulation. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jonathan D. Gibbs, Hessam S. Sarjoughian Synchronizing DEVS/SOA simulator with ping monitoring application. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1John M. Usher, Xuan Liu, Eric Kolstad Simulation of pedestrian behavior in intermodal facilities. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yang Pu, Layne T. Watson, Yang Cao 0001 Stiffness detection and reduction in discrete stochastic simulation of biochemical systems. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ian Keough, David Benjamin Multi-objective optimization in architectural design. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Kyohong Jin, Hesiri Weerasinghe, Huirong Fu Enhancement of IEEE 802.11 modules in ns-2 and performance evaluation with error rate. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Holger Graf, Pedro Santos 0002, André Stork Augmented reality framework supporting conceptual urban planning and enhancing the awareness for environmental impact. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Zengxiang Li, Wentong Cai 0001, Stephen John Turner, Ke Pan A replication structure for efficient and fault-tolerant parallel and distributed simulations. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mariem El Feki, Wilfrid Marquis-Favre, Laurent Krähenbühl, Daniel Thomasset Bond graph representation of standard interconnection model. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Glenn A. Martin, Charles E. Hughes A scenario generation framework for automating instructional support in scenario-based training. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Richard H. Weston, Zihua Cui, O. Vacharaphol Executing architecture & the role of simulation modelling. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ryan O'Farrell, Sriharsha Banavara, Donald Folds, John A. Hamilton Jr. Information assurance modeling using the Department of Defense architecture framework. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Muaz A. Niazi, Qasim Siddique, Amir Hussain 0001, Mario Kolberg Verification & validation of an agent-based forest fire simulation model. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ahmad Ghasemloonia, D. Geoff Rideout, Stephen D. Butt The effect of weight on bit on the contact behavior of drillstring and wellbore. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ahmed Bukhamsin, Mohamad Sindi, Jallal Al-Jallal Using the Intel MPI benchmarks (IMB) to evaluate MPI implementations on an Infiniband Nehalem Linux cluster. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michele Fumarola, Mamadou D. Seck, Alexander Verbraeck Multiple worlds: a formalism for simulation based design. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Eric Ortiz, Stephanie J. Lackey, Jonathan Stevens, Irwin Hudson The impact of unmanned weapon systems on individual and team performance. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1José M. Merigó A generalized model between the OWA operator, the weighted average and the probability. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jason J. Boisvert, Paul H. Muir, Raymond J. Spiteri py_bvp: a universal Python interface for BVP codes. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ali Azadeh, Behnaz Pourvalikhan Nokhandan, S. M. Asadzadeh 0001, E. Fathi Optimal allocation of operators in a cellular manufacturing system by an integrated computer simulation-genetic algorithm approach. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jennifer Fowlkes, Sae Lynne Schatz, Kevin C. Stagl Instructional strategies for scenario-based training: insights from applied research. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1John F. Magnotti, Levent Yilmaz An agent simulation study of optimal foraging: the ideal free distribution with individual scalar expectancies. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jérôme Levesque, François Cazzolato, Robin Harrap A human-in-the loop approach for representing populations in virtual and constructive simulations. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Heywoong Kim, Qijun Gu, Meng Yu 0001, Wanyu Zang, Peng Liu 0005 A simulation framework for performance analysis of multi-interface and multi-channel wireless networks in INET/OMNET++. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Catherine M. Banks, John A. Sokolowski Meeting the challenges of STEM education: teaching modeling and simulation with real-world applications. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ahmed Sayed Ahmed, Gabriel A. Wainer, Samy Mahmoud Integrating building information modeling & cell-DEVS simulation. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alexandre Muzy, Luc Touraille, Hans Vangheluwe, Olivier Michel, Mamadou Kaba Traoré, David R. C. Hill Activity regions for the specification of discrete event systems. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Rachid El Abdouni Khayari, Adisa Musovic, Axel Lehmann 0001, Michael Böhm A model validation study of hierarchical and distributed web caching model. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Andrzej Zarzycki Intuitive structures: applications of dynamic simulations in early design stages. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Nicholas R. Radcliffe, David R. Easterling, Layne T. Watson, Michael L. Madigan, Kathleen A. Bieryla Results of two global optimization algorithms applied to a problem in biomechanics. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mohammed Mujtaba Shareef, Meerja Humayun Baig HPC based integrated system for marine scientists. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Haresh Patolia, Pushparaj Mani Pathak, Satish C. Jain Force control in single DOF dual arm cooperative space robot. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Moath H. A. Jarrah, Ameen Jarrah, Bernard P. Zeigler Comprehensive on-chip traffic generator model for SoC design and synthesis. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Giuseppe Iazeolla, Alessandra Pieroni, Andrea D'Ambrogio, Daniele Gianni A distributed approach to the simulation of inherently distributed systems. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Fouad Butt, Abdolreza Abhari Genetic algorithms: an approach to optimal web cache replacement. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Victorino Sanz, Alfonso Urquia, Sebastián Dormido 0001 Integrating Parallel DEVS and equation-based object-oriented modeling. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Luís F. O. Jacintho, André Filipe de Moraes Batista, Terry Lima Ruas, Maria das Graças Bruno Marietto, Fábio A. Silva An agent-based model for the spread of the Dengue fever: a swarm platform simulation approach. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sean Hanna, Lars Hesselgren, Victor Gonzalez, Ignacio Vargas Beyond simulation: designing for uncertainty and robust solutions. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sae Lynne Schatz Dual-use modeling and simulation. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Paul Eller, Kumaresh Singh, Adrian Sandu Development and acceleration of parallel chemical transport models. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1C. M. Chera, J. L. Baliño, Geneviève Dauphin-Tanguy Two-equation traffic flow models framed within the bond graph theory. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ken Habgood, Itamar Arel Revisiting Cramer's rule for solving dense linear systems. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Cindy Hui, Mark K. Goldberg, Malik Magdon-Ismail, William A. Wallace Agent-based simulation of the diffusion of warnings. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ultan Byrne, Tom Bessai Input devices for interactive architectural visualization. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sudip Misra, Rashmi Ranjan Rout, T. Raghu Vamsi Krishna, Patel Manish Kumar Manilal, Mohammad S. Obaidat Markov decision process-based analysis of rechargeable nodes in wireless sensor networks. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Matías Bonaventura, Gabriel A. Wainer, Rodrigo D. Castro Advanced IDE for modeling and simulation of discrete event systems. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Daniel Rice, Mitha Andra, Alex Kennedy A preliminary investigation into the modeling and simulation of engagement decision-making processes and encumbrance. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Randy W. Heiland, Maciej Swat, Benjamin Zaitlen, James A. Glazier, Andrew Lumsdaine Workflows for parameter studies of multi-cell modeling. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Rafika El Harabi, Belkacem Ould Bouamama, Mohamed Kony Ben Gayed, Mohamed Naceur Abdelkrim Pseudo bond graph for fault detection and isolation of an industrial chemical reactor part I: bond graph modeling. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Denise M. Nicholson Automating instructional support for SBT: next-generation expeditionary warfare intelligent training (NEW-IT). Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Forbes T. Brown Simulation software for thermodynamic models, part 1. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pedro Santos 0002, Dominik Acri, Thomas Gierlinger, Hendrik Schmedt, André Stork Supporting outdoor mixed reality applications for architecture and cultural heritage. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ricardo M. Czekster, César A. F. De Rose, Paulo Henrique Lemelle Fernandes, Antonio M. de Lima, Thais Webber Kronecker descriptor partitioning for parallel algorithms. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Agostino G. Bruzzone, Antonio Cimino, Rafael Diaz, Francesco Longo 0002 Inventory control with products returns: a state of the art overview. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hesham Saadawi, Gabriel A. Wainer Rational time-advance DEVS (RTA-DEVS). Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Indranil Roychoudhury, Gautam Biswas, Xenofon D. Koutsoukos Using factored bond graphs for distributed diagnosis of physical systems. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1V. L. Krishnan, Pushparaj Mani Pathak, Satish C. Jain, Arun K. Samantaray Reconfiguration of four legged walking robot for actuator faults. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mohammad 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  DOI  BibTeX  RDF
1Francisco Bemquerer Costa Rasia, Eduardo Leite Krüger A method for simulating NOx dispersion in an urban area using ENVI-met. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Antonio Cimino, Rafael Diaz, Francesco Longo 0002, Giovanni Mirabelli Empty containers repositioning: a state of the art overview. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ali Azadeh, S. F. Ghaderi, Behnaz Pourvalikhan Nokhandan, Mohammad Sheikhalishahi Conventional regression versus artificial neural network in short-term load forecasting. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Kapilan Radhakrishnan, Hadi Larijani A study on QoS of VoIP networks: a random neural network (RNN) approach. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Roberto K. Champney, Laura Milham, Tiffany Parrish, Christina Kokini, Kay M. Stanney Automating instruction support: insights from field research. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michele Fumarola, Mamadou D. Seck, Alexander Verbraeck Supporting the design of automated container terminals with the multiple worlds concept. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Joe Robert Gonzalez Jr. Enabling psychological operations in simulation. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jun Zhang 0064, Mahmoud T. Khasawneh, Shannon R. Bowling Gender change in certain species: an agent-based modeling study. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Song Guo, Xiaolin Hu 0002 Profile-based partition for parallel simulation of DEVS-FIRE. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Norbert Giambiasi Reducing the state space of incompletely specified timed Moore machines. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Juan M. Solá-Sloan, Isidoro Couvertier-Reyes A formal approach to protocol offload for web servers applied to a TCP offload engine and web traffic. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Long Chen 0020, Guang R. Gao Performance analysis of Cooley-Tukey FFT algorithms for a many-core architecture. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gilberto González-Avalos, Aaron Padilla Garcia Steady state of a planar robot: a bond graph approach. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sabine Zinn, Jutta Gampe, Jan Himmelspach, Adelinde M. Uhrmacher A DEVS model for demographic microsimulation. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ming Zhou, Yanchun Pan, Zhimin Chen Modeling and simulation of storage space allocation at TPL systems. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Guodong Shao, Nils Bengtsson, Björn Johansson 0004 Interoperability for simulation of sustainable manufacturing. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Charles D. Turnitsa, Andreas Tolk, Robert H. Kewley Further exploration in primitives of meaning. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bin Yu, Jijun Wang, Michael McGowan, Ganesh Vaidyanathan Agent-based stochastic simulations of shipboard disease outbreaks. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Wei-Tek Tsai, Wu Li, Xin Sun 0003, Ashutosh Sabnis, Yinong Chen Event-driven service-oriented simulation framework. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Zuhal Hud, Rachmat Handinugraha, Kazi Shahzabeen Rahnuma, Mohiuddin Ahmed IPv6 mobility: performance evaluation of VoIP on MIPv6. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Youngshin Han, Taekyu Kim, Chungman Seo, Chilgee Lee System entity structure for XML meta data modeling: application to the logistics. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Virginia P. Sisiopiku, Ozge Cavusoglu, Saiyid Hassan Sikder High occupancy vehicle lane performance assessment through operational, environmental impacts and cost-benefit analyses. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Franco Cicirelli, Angelo Furfaro, Libero Nigro Using time stream Petri nets over a service architecture for workflow modelling and enactment. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Volker Nissen, Danilo Saft Social emergence in organisational contexts: benefits from multi-agent simulations. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Shubhangi G. Deshpande, Layne T. Watson Sequential approximate optimization in the problem solving environment WBCSim. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Christopher J. Grasso, Michael J. McDearmon, Yoshihiro Kobayashi Virtual driving and eco-simulation: VR city modeling, drive simulation, and ecological habits. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Robert M. McGraw, Eric S. Imsand, Michael J. Chinni (eds.) Proceedings of the 2010 Spring Simulation Multiconference, SpringSim 2010, Orlando, Florida, USA, April 11-15, 2010 Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Chulho Won, Seong-Woo Kim A simulation model of the sustainable mobile sensor network. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Aftab Ahmad Simulation-based local train mobility model. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Josko Deur, Mihael Cipek, Josko Petric Bond graph modeling of series-parallel hybrid electric vehicle power train dynamics. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Maâmar El-Amine Hamri, Lassaad Baati On using design patterns for DEVS modeling and simulation tools. Search on Bibsonomy SpringSim The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Emanuele Galli, Leticia Cuellar, Stephan J. Eidenbenz, Mary Ewers, Sue Mniszewski, Christof Teuscher ActivitySim: large-scale agent-based activity generation for infrastructure simulation. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  BibTeX  RDF
1Chungman Seo, Bernard P. Zeigler Interoperability between DEVS simulators using service oriented architecture and DEVS namespace. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  DOI  BibTeX  RDF DEVS namespace, interoperability of DEVS simulators, service oriented architecture, SOAP, DEVS, WSDL
1Armen Kostanyan, Vardan Matevosyan, Samvel K. Shoukourian, Anna Varosyan An approach for formal verification of business processes. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  DOI  BibTeX  RDF cycle transformation, formal verification, business process
1Zheng Cao, Jianwei Xu, Mingyu Chen 0001, Gui Zheng, Huiwei Lv, Ninghui Sun HPPNetSim: a parallel simulation of large-scale interconnection networks. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  DOI  BibTeX  RDF conservative approach, large-scale interconnection network, super-linear speedup, parallel discrete event simulation
1Robert M. McGraw, Gary Shao, Dean C. Mumme An agent-based course of action (COA) analysis with radio effects toolbox. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  BibTeX  RDF cognitive reasoning, mission analysis, simulation, network analysis, distributed agents
Displaying result #301 - #400 of 699 (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