Sciweavers

4447 search results - page 467 / 890
» Model Checking Games
Sort
View
SERP
2004
15 years 9 months ago
Software Specification of MERTIS: Modifiable Extensible Real-Time Interactive Simulation System
Game and simulation development is a difficult process because there are many low level infrastructure concerns that need to be addressed. This is a barrier to development for ine...
Frederick C. Harris Jr., Leandro Basallo, Ryan E. ...
CHI
2010
ACM
15 years 8 months ago
Critical gameplay: software studies in computer gameplay
The computer game software with which we interact on a daily basis not only entertains us, it trains us into specific patterns. Critical Gameplay is a design practice which endeav...
Lindsay Grace
IOR
2008
96views more  IOR 2008»
15 years 7 months ago
Competition for Procurement Contracts with Service Guarantees
We consider a market with two suppliers and a set of buyers in search of procurement contracts with one of the suppliers. In particular, each buyer needs to process a certain volu...
Fernando Bernstein, Francis de Véricourt
JUCS
2008
104views more  JUCS 2008»
15 years 7 months ago
Optimal Transit Price Negotiation: The Distributed Learning Perspective
: We present a distributed learning algorithm for optimizing transit prices in the inter-domain routing framework. We present a combined game theoretical and distributed algorithmi...
Dominique Barth, Loubna Echabbi, Chahinez Hamlaoui
SOCIALCOM
2010
15 years 5 months ago
The Many Faces of Mentoring in an MMORPG
Mentoring refers to the phenomenon where a more skilled or knowledgeable person helps a less skilled or less knowledgeable person gain skill in a particular domain. In this paper w...
Muhammad Aurangzeb Ahmad, David Huffaker, Jing Wan...