1785 search results - page 15 / 357 » Modeling Communication with Synchronized Environments |
ACSD
2009
IEEE
15 years 4 months ago
2009
IEEE
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures...
IEEECIT
2010
IEEE
14 years 8 months ago
2010
IEEE
This article focuses on the essence and distinctive features of the AADL behavioral aspects, for which we use the code generation infrastructure of the synchronous modeling enviro...
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
The problem of transaction synchronization is important in XMLbased applications based on client-server model, especially when both server and clients are allowed to store data. W...
CHI
2011
ACM
14 years 1 months ago
2011
ACM
This paper presents the first in-depth evaluation of a large multi-format virtual conference. The conference took place in an avatar-based 3D virtual world with spatialized audio,...
ICWL
2005
Springer
15 years 3 months ago
2005
Springer
We have previously developed a collaborative virtual environment (CVE) for small-group virtual classrooms, intended for distance learning by geographically dispersed students. The...