40 search results - page 7 / 8 » concur 2007 |
CONCUR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
CONCUR
2007
Springer
14 years 4 months ago
2007
Springer
Games via Three-Valued Abstraction Refinement Luca de Alfaro, Pritam Roy PII: S0890-5401(10)00018-0 DOI: 10.1016/j.ic.2009.05.007 Reference: YINCO 3711 To appear in: Information an...
SG
2007
Springer
14 years 3 months ago
2007
Springer
This article gathers and consolidates the issues involved in uncertainty relating to reasoning and analyzes how uncertainty visualizations can support cognitive and meta-cognitive ...
CALCO
2007
Springer
14 years 4 months ago
2007
Springer
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
ECTEL
2007
Springer
14 years 4 months ago
2007
Springer
Interaction analysis within online educational contexts based on collaborative learning strategies requires a multidimensional model taking into account social, emotional and cogni...