Sciweavers

8768 search results - page 314 / 1754
» Generalizing the notion of support
Sort
View
187
Voted
VR
1999
IEEE
123views Virtual Reality» more  VR 1999»
15 years 11 months ago
Leadership and Collaboration in Shared Virtual Environments
We present an experiment that investigates the behaviour of small groups of participants in a wide-area distributed collaborative virtual environment (CVE). This is the third and ...
Anthony Steed, Mel Slater, Amela Sadagic, Adrian B...
178
Voted
ECMAST
1998
Springer
96views Multimedia» more  ECMAST 1998»
15 years 11 months ago
An Execution Architecture for Synchronized Multimedia Presentations
We have de ned an execution architecture for playing back synchronized multimedia documents. We suppose that such documents i ed by means of several abstractions including hypertim...
Franck Rousseau, Andrzej Duda
OOPSLA
1992
Springer
15 years 11 months ago
Concurrency Annotations
JAC is a Java extension for high-level concurrent programming, meant to hide the notions of threads and synchronization statements from the programmer. Putting into practice the c...
Klaus-Peter Löhr
ERSHOV
2009
Springer
15 years 11 months ago
A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols
Abstract. The Java Supercompiler (JScp) is a specializer of Java programs based on the Turchin's supercompilation method and extended to support imperative and object-oriented...
Andrei V. Klimov
ERSHOV
2006
Springer
15 years 11 months ago
A Formal Model of Data Privacy
Information systems support data privacy by constraining user's access to public views and thereby hiding the non-public underlying data. The privacy problem is to prove that ...
Phiniki Stouppa, Thomas Studer