4447 search results - page 611 / 890 » Model Checking Games |
172
click to vote
IEEECGIV
2006
IEEE
16 years 22 days ago
2006
IEEE
Visualization and team sports have an important and established relationship that is seldom understood. Team sports can be considered as complex activities ng a considerable numbe...
167
click to vote
DSRT
2005
IEEE
16 years 9 days ago
2005
IEEE
We present a brief review of 42 collaborative visualization systems, grouped into four application areas: collaborative problem-solving environments, virtual reality environments,...
140
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
We investigate the decidability of observational equivalence and approximation in “Syntactic Control of Interference” (SCI). By asg denotations of terms in an inequationally fu...
154
click to vote
WOSP
2004
ACM
16 years 3 days ago
2004
ACM
In this paper we present an original method of analysing the newlyrevised UML2.0 activity diagrams. Our analysis method builds on our formal interpretation of these diagrams with ...
164
click to vote
ATAL
2004
Springer
16 years 3 days ago
2004
Springer
: A reputation management system can promote trust in transactions in an online consumer-to-consumer (C2C) market. We model a C2C market by employing an agent-based approach. To di...