230 search results - page 39 / 46 » UPPAAL-Tiga: Time for Playing Games! |
JTAER
2008
13 years 6 months ago
2008
The integration of supply chains as a mechanism for value creation is largely dependent on continuous flow of real time accurate information from the customer back upstream to the...
ACMACE
2007
ACM
13 years 11 months ago
2007
ACM
Emergent game formats, such as machinima, that use game worlds as expressive 3D performance spaces have new expressive powers with an increase of the quality of their underlying g...
ICGA
2006
13 years 7 months ago
2006
Who is the best chess player of all time? Chess players are often interested in this question that has never been answered authoritatively, because it requires comparison between c...
CHI
2004
ACM
14 years 7 months ago
2004
ACM
We have observed numerous times how young children find it difficult to use software that provides different functionality with each mouse button. To better learn how young childr...
SP
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper, we study the degree to which a genomic string, Q, leaks details about itself any time it engages in comparison protocols with a genomic querier, Bob, even if those ...