Sciweavers

1817 search results - page 39 / 364
» Extensive Games as Process Models
Sort
View
CORR
2010
Springer
34views Education» more  CORR 2010»
13 years 10 months ago
Statistical Modelling of ft to Process Parameters in 30 nm Gate Length Finfets
This paper investigates the effect of process variations on unity gain frequency (ft) in 30 nm gate length FinFET by performing extensive TCAD simulations. Six different geometric...
B. Lakshmi, R. Srinivasan
CDC
2010
IEEE
105views Control Systems» more  CDC 2010»
13 years 5 months ago
Learning in mean-field oscillator games
This research concerns a noncooperative dynamic game with large number of oscillators. The states are interpreted as the phase angles for a collection of non-homogeneous oscillator...
Huibing Yin, Prashant G. Mehta, Sean P. Meyn, Uday...
RULEML
2010
Springer
13 years 8 months ago
Norm Compliance in Business Process Modeling
We investigate the concept of norm compliance in business process modeling. In particular we propose an extension of Formal Contract Logic (FCL), a combination of defeasible logic ...
Guido Governatori, Antonino Rotolo
CPC
2002
75views more  CPC 2002»
13 years 9 months ago
The Minesweeper Game: Percolation And Complexity
We study a model motivated by the minesweeper game. In this model one starts with percolation of mines on the sites of the lattice Zd , and then tries to find an infinite path of ...
Elchanan Mossel
DATE
2008
IEEE
101views Hardware» more  DATE 2008»
14 years 4 months ago
A Game-Theoretic Approach to Real-Time System Testing
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...
Alexandre David, Kim Guldstrand Larsen, Shuhao Li,...