Sciweavers

13866 search results - page 193 / 2774
» Dynamical Systems Game
Sort
View
NOSSDAV
2005
Springer
15 years 9 months ago
Game traffic analysis: an MMORPG perspective
Kuan-Ta Chen, Polly Huang, Chun-Ying Huang, Chin-L...
ENTCS
2006
136views more  ENTCS 2006»
15 years 4 months ago
Automated Game Analysis via Probabilistic Model Checking: a case study
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
Paolo Ballarini, Michael Fisher, Michael Wooldridg...
STACS
2000
Springer
15 years 7 months ago
The Stability of Saturated Linear Dynamical Systems Is Undecidable
We prove that several global properties (global convergence, global asymptotic stability, mortality, and nilpotence) of particular classes of discrete time dynamical systems are un...
Vincent D. Blondel, Olivier Bournez, Pascal Koiran...
IPPS
2003
IEEE
15 years 9 months ago
A UNITY-Based Formalism for Dynamic Distributed Systems
We describe Dynamic UNITY, a new formalism for the specification of dynamic distributed systems based on the UNITY formalism. This formalism allows for the specification and pro...
Daniel M. Zimmerman
167
Voted
ICAC
2008
IEEE
15 years 10 months ago
Power and Performance Management of Virtualized Computing Environments Via Lookahead Control
— There is growing incentive to reduce the power consumed by large-scale data centers that host online services such as banking, retail commerce, and gaming. Virtualization is a ...
Dara Kusic, Jeffrey O. Kephart, James E. Hanson, N...