Sciweavers

4190 search results - page 544 / 838
» Implementing commitment-based interactions
Sort
View
ECHT
1992
15 years 7 months ago
SEPIA: A Cooperative Hypermedia Authoring Environment
In this paper, we report about the design, development, and implementation of the SEPIA cooperative hypermedia authoring environment. It provides results on the following aspects ...
Norbert A. Streitz, Jörg M. Haake, Jörg ...
SIGGRAPH
1994
ACM
15 years 7 months ago
Multiresolution painting and compositing
We describe a representation for multiresolution images--images that have different resolutions in different places--and methods for creating such images using painting and compos...
Deborah Berman, Jason T. Bartell, David Salesin
SIGGRAPH
1994
ACM
15 years 7 months ago
A fast shadow algorithm for area light sources using backprojection
The fast identification of shadow regions due to area light sources is necessary for realistic rendering and for discontinuity meshing for global illumination. A new shadow-determ...
George Drettakis, Eugene Fiume
AHS
2007
IEEE
239views Hardware» more  AHS 2007»
15 years 7 months ago
Separation of Data flow and Control flow in Reconfigurable Multi-core SoCs using the Gannet Service-based Architecture
This paper presents a mechanism for the separation of control and data flow in NoC-based SoCs consisting of multiple heterogeneous reconfigurable IP cores. This mechanism enables ...
Wim Vanderbauwhede
CAV
2009
Springer
239views Hardware» more  CAV 2009»
15 years 7 months ago
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
Alessio Lomuscio, Hongyang Qu, Franco Raimondi