4447 search results - page 338 / 890 » Model Checking Games |
152
Voted
ATAL
2007
Springer
16 years 14 days ago
2007
Springer
We develop a new model to analyse the strategic behaviour of buyers and sellers in market mechanisms. In particular, we wish to understand how the different strategies they adopt ...
206
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Correlated equilibria are a generalization of Nash equilibria that permit agents to act in a correlated manner and can therefore, model learning in games. In this paper we define...
145
click to vote
DAC
2007
ACM
15 years 10 months ago
2007
ACM
It has long been the practice to create models in C or C++ for architectural studies, software prototyping and RTL verification in the design of Systems-on-Chip (SoC). It is often...
190
click to vote
JIB
2007
15 years 6 months ago
2007
The creation of quantitative, simulatable, Systems Biology Markup Language (SBML) models that accurately simulate the system under study is a time-intensive manual process that re...
211
click to vote
IS
2012
14 years 1 months ago
2012
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...