Sciweavers

186 search results - page 19 / 38
» Categorical Views on Computations on Trees (Extended Abstrac...
Sort
View
COLCOM
2008
IEEE
15 years 1 months ago
Mashup Model and Verification Using Mashup Processing Network
Abstract. Mashups are defined to be lightweight Web applications aggregating data from different Web services, built using ad-hoc composition and being not concerned with long term...
Ehtesham Zahoor, Olivier Perrin, Claude Godart
PG
2007
IEEE
15 years 6 months ago
Precomputed Visibility Cuts for Interactive Relighting with Dynamic BRDFs
This paper presents a novel PRT-based method that uses precomputed visibility cuts for interactive relighting with all-frequency environment maps and arbitrary dynamic BRDFs. Our ...
Oskar Åkerlund, Mattias Unger, Rui Wang
QEST
2007
IEEE
15 years 6 months ago
Stochastic Game Logic
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
Christel Baier, Tomás Brázdil, Marcu...
CLUSTER
2009
IEEE
15 years 6 months ago
Integrating software distributed shared memory and message passing programming
Abstract—Software Distributed Shared Memory (SDSM) systems provide programmers with a shared memory programming environment across distributed memory architectures. In contrast t...
H'sien J. Wong, Alistair P. Rendell
ECWEB
2009
Springer
130views ECommerce» more  ECWEB 2009»
15 years 6 months ago
Perspectives for Web Service Intermediaries: How Influence on Quality Makes the Difference
Abstract. In the service-oriented computing paradigm and the Web service architecture, the broker role is a key facilitator to leverage technical capabilities of loose coupling to ...
Ulrich Scholten, Robin Fischer, Christian Zirpins