Sciweavers

Share
8 search results - page 2 / 2
» eon 2008
Sort
View
EON
2008
8 years 4 months ago
Synthesizing the Mediator with jABC/ABC
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
Tiziana Margaria
EON
2008
8 years 4 months ago
Abductive Synthesis of the Mediator Scenario with jABC and GEM
We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to...
Christian Kubczak, Tiziana Margaria, Matthias Kais...
TOG
2008
137views more  TOG 2008»
8 years 1 months ago
A layered, heterogeneous reflectance model for acquiring and rendering human skin
We introduce a layered, heterogeneous spectral reflectance model for human skin. The model captures the inter-scattering of light among layers, each of which may have an independe...
Craig Donner, Tim Weyrich, Eugene d'Eon, Ravi Rama...
books