47,975 Hits in 3.1 sec

Page 9203 of Mathematical Reviews Vol. , Issue 2004k [page]

2004 Mathematical Reviews  
We implement these theoretical results in the tool FAST (Fast Accel- eration of Symbolic Transition systems).  ...  We also show DP-hardness for deciding simulation between one-counter automata and finite- state systems (in both directions), and for the model-checking problem with one-counter nets and the branching-time  ... 

The organization of transactions: research with the Trust and Tracing game

Sebastiaan Meijer, Gert Jan Hofstede, S. (Onno) Omta, George Beers
2008 Journal on Chain and Network Science  
The use of gaming simulation as data gathering tool for quantitative research in supply chains and networks is a proof-of-principle.  ...  The research method used was a gaming simulation called the Trust and Tracing game in which participants trade commodity goods with a hidden quality attribute.  ...  The empirical cycle took the finalized gaming simulation prototype (i.e. The T&T game) as a given gaming simulation tool (#13).  ... 
doi:10.3920/jcns2008.x085 fatcat:nkn2nmrer5gspkgwzrz6a5kw6y

The reasonable effectiveness of agent-based simulations in evolutionary game theory

Christoph Adami, Jory Schossau, Arend Hintze
2016 Physics of Life Reviews  
This is a Reply to comments published in Physics of Life Reviews, on our article "Evolutionary game theory using agent-based methods" (Physics of Life Reviews, 2016, arXiv:1404.0994).  ...  It is in fact expected as long as such simulations are used with the same kind of care and control that the theoretical and experimental approach is known for.  ...  At the same time, the simulation results must be checked for internal consistency, by creating an ensemble of "trajectories" via hundreds or thousand of replicate simulations.  ... 
doi:10.1016/j.plrev.2016.11.005 pmid:27876345 fatcat:iy4fbry2nnex3cfdlbj7ntw4qy

An internet-based simulation system for training and development of regional-healthcare-centers managers

David Bregman, Arik Korman, Ana Shetach, Nira Shalom
2009 Studies in Health Technology and Informatics  
The simulation game has a major potential contribution in enabling management trainees to transfer theoretical knowledge into managerial practical tools, capabilities and skills.  ...  The simulation system enables the operation of a management decision-making game.  ...  The simulation model has shown significant practical and theoretic value.  ... 
pmid:19745421 fatcat:q7esztv4xffhfjv24x6myg7c5m

PRISM-games: A Model Checker for Stochastic Multi-Player Games [chapter]

Taolue Chen, Vojtěch Forejt, Marta Kwiatkowska, David Parker, Aistis Simaitis
2013 Lecture Notes in Computer Science  
The tool is based on the probabilistic model checker PRISM, benefiting from its existing user interface and simulator, whilst adding novel model checking algorithms for stochastic games, as well as functionality  ...  We present PRISM-games, a model checker for stochastic multi-player games, which supports modelling, automated verification and strategy synthesis for probabilistic systems with competitive or cooperative  ...  Game-based verification tools also have applications to scheduling and synthesis problems, for example using timed games [2] , qualitative stochastic games [3] or mean-payoff games [4] .  ... 
doi:10.1007/978-3-642-36742-7_13 fatcat:e7ecbkv3jnbtjf3dtl332rmw5i

Lifelong Education in Business: Role of Simulation Games in the Teaching Process

Ph.D. Sevar Mammadova
2021 Turkish Journal of Computer and Mathematics Education  
The significance of business simulation games (BSG) rapidly increases. And this quite understandable.  ...  Because simulation games are based on the model playback mode realistic processes, events, locations or situations.  ...  Designed for a business student's Business simulation games (BSG) is an effective educational tool today because games allow you to simulate various economic occasions and conditions in the market and  ... 
doi:10.17762/turcomat.v12i6.4169 fatcat:tfkbdsu2ivaodd4zxsczp2oos4

Page 860 of The Journal of the Operational Research Society Vol. 43, Issue 9 [page]

1992 The Journal of the Operational Research Society  
Forecasting is the most frequent tool with 320 papers, DSS is second with 119 papers and simulation ranks third with a total of 90 papers; these top three tools represent 69% of the total sample.  ...  MS tool sample frequencies MS Tool Kit Abbreviation Forecasting F/C Decision Support Systems DSS Simulation SIM Mathematical Programming MATH Expert Systems ES Spreadsheets S/SH Decision Theory DEC Project  ... 

Towards A Game Theoretic Understanding of Ad-Hoc Routing

Irfan Zakiuddin, Tim Hawkins, Nick Moffat
2005 Electronical Notes in Theoretical Computer Science  
In this paper we present a new application of game theory, in which game theoretic techniques are used to provide a rigorous underpinning to the analysis of ad-hoc routing protocols.  ...  We propose a game theoretic approach as a potentially effective means of answering this question. The conceptual mapping of routing into a game is, we believe, natural and simple.  ...  tool must check shows why.  ... 
doi:10.1016/j.entcs.2004.07.009 fatcat:tnxim6vzlfhm7m3hz2fcmcncqi

Quantitative Aspects of Programming Languages and Systems over the past 2^4 years and beyond

Alessandro Aldini
2020 Electronic Proceedings in Theoretical Computer Science  
Hence, they need to be integrated both at the level of system modeling and within the verification methodologies and tools.  ...  Along the last two decades a variety of theoretical achievements and automated techniques have contributed to make quantitative modeling and verification mainstream in the research community.  ...  The relation with model checking is strict, as also demonstrated by the most recent advances in tools like, e.g., PRISM and MCMAS, implementing model checking algorithms for MDPs founded on game semantics  ... 
doi:10.4204/eptcs.312.1 fatcat:4fjvygbppjbq3k5ury2kvue3nq

A Markov game theoretic data fusion approach for cyber situational awareness

Dan Shen, Genshe Chen, Jose B. Cruz, Jr., Leonard Haynes, Martin Kruger, Erik Blasch, Belur V. Dasarathy
2007 Multisensor, Multisource Information Fusion: Architectures, Algorithms, and Applications 2007  
A software tool is developed to demonstrate the performance of the high level information fusion for cyber network defense situation and a simulation example shows the enhanced understating of cyber-network  ...  This paper proposes an innovative data-fusion/ data-mining game theoretic situation awareness and impact assessment approach for cyber network defense.  ...  SIMULATION AND VISUALIZATION TOOL To evaluate our game theoretic approach for cyber attack prediction and mitigation, we have constructed a Cyber Game Simulation Platform (CGSP) based on an open-source  ... 
doi:10.1117/12.720090 fatcat:hr3peq5hozgg7gg3nphllt3vn4

A Holistic Game Inspired Defense Architecture [chapter]

Sajjan Shiva, Harkeerat Singh Bedi, Chris B. Simmons, Marc Fisher, Ramya Dharam
2012 Lecture Notes in Electrical Engineering  
We discuss one implementation of our holistic approach, namely, game inspired defense architecture in which a game decision model decides the best defense strategies for the other components in the system  ...  We consider the interaction between the attacks and the defense mechanisms as a game played between the attacker and the defender.  ...  We have validated our theoretical results via simulation experiments in MATLAB.  ... 
doi:10.1007/978-3-642-28798-5_63 fatcat:woo7efs7lrevxalwoutnognxnm

Strategy for the Appropriation of a DSS in Small Bovine Producers Using Simulation and a Serious Video Game

Urbano Gómez-Prada, Martha Orellana-Hernández, Jesús Salinas-Ibáñez
2020 Information  
The tools are a simulation model, a serious video game, and the DSS.  ...  game and the DSS.  ...  model, the serious video game, and the DSS based on the created theoretical framework.  ... 
doi:10.3390/info11120566 fatcat:jvcbobii55d5fdkq4ux3ycdtei

GOAL for Games, Omega-Automata, and Logics [chapter]

Ming-Hsien Tsai, Yih-Kuen Tsay, Yu-Shiang Hwang
2013 Lecture Notes in Computer Science  
This paper introduces the second generation of GOAL, which is a graphical interactive tool for games, ω-automata, and logics.  ...  The new features include game solving, manipulation of two-way alternating automata, translation of ACTL formulae and ω-regular expressions, test of language star-freeness, classification of ω-regular  ...  We have also implemented simplification of Büchi automata with delayed simulation and fair simulation relations based on solving simulation games [12, 19] .  ... 
doi:10.1007/978-3-642-39799-8_62 fatcat:4xi3csp63fgbhn736yrrhzc3we

A game theoretical algorithm for joint power and topology control in distributed WSN

Pau Closas, Alba Pages-Zamora, Juan A. Fernandez-Rubio
2009 2009 IEEE International Conference on Acoustics, Speech and Signal Processing  
Simulations show that for a relatively low node density, the probability that the proposed algorithm leads to a connected network is close to one.  ...  Whereas the proposed distributed algorithm is designed applying game theory concepts to design a non-cooperative game, network connectivity is guaranteed based on asymptotic results of network connectivity  ...  Game theory is a collection of models and analytic tools useful to study interactive decision processes [2, 3] .  ... 
doi:10.1109/icassp.2009.4960196 dblp:conf/icassp/ClosasPF09 fatcat:rguf36j2qzecfmqflv3qivi2zq

Advances in Quantitative Verification for Ubiquitous Computing [chapter]

Marta Kwiatkowska
2013 Lecture Notes in Computer Science  
Refine Refine Refine Refine Formalise Formalise Formalise Formalise Simulation Simulation Simulation Simulation Informal requirements  ...  connectivity • Adaptiveness: systems have to adapt to changing requirements in predictable fashion • Communities of agents: need to model cooperation, competition and resource sharing, necessitating game-theoretic  ...  ETMCC (MRMC) & PRISM released − PRISM: efficient extensions of symbolic model checking [Kwiatkowska, Norman, Parker, …] − ETMCC (now MRMC): model checking for continuous-time Markov chains [Baier  ... 
doi:10.1007/978-3-642-39718-9_3 fatcat:emkb7jqcurg37nhkdyeel6icma
« Previous Showing results 1 — 15 out of 47,975 results