826 search results - page 87 / 166 » Resolving Concurrent Interactions |
150
click to vote
CDVE
2004
Springer
15 years 8 months ago
2004
Springer
ALTERNE (Alternative Realities in Networked Environments) platform aims at providing a high level of integration between various techniques supporting mixed reality, graphics, inte...
118
click to vote
HICSS
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper we describe a unique type of knowledge management systems virtual reality-enabled multi-user virtual environments with spatialised semantic structures. They are des...
121
click to vote
PROCOMET
1998
15 years 4 months ago
1998
We develop a theory of bisimulations in the join-calculus. We introduce a refined operational model that makes interactions with the environment explicit, and discuss the impact o...
150
click to vote
CIE
2010
Springer
15 years 8 months ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...
125
click to vote
ISPDC
2005
IEEE
15 years 9 months ago
2005
IEEE
DIET (Distributed Interactive Engineering Toolbox) is a toolbox for the construction of Network Enabled Server (NES) systems. For most NES systems, as for most grid middleware sys...