295 search results - page 13 / 59 » Games and Definability for System F |
ICST
2009
IEEE
13 years 5 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
An important aspect of mechanism design in social choice protocols and multiagent systems is to discourage insincere and manipulative behaviour. We examine the computational compl...
ACMICEC
2006
ACM
14 years 1 months ago
2006
ACM
The growth of mobile commerce will require development of both demand and supply sides of the market. On the supply side, the development of mobile applications (e.g. games, calen...
CRIWG
2003
13 years 9 months ago
2003
Positive interdependence is the heart of collaborative activities that define collaboration and transform group work into teamwork. To achieve positive interdependence among studen...
SIGECOM
2009
ACM
14 years 2 months ago
2009
ACM
We consider the issue of representing coalitional games in multiagent systems with externalities (i.e., in systems where the performance of one coalition may be affected by other ...