Sciweavers

186 search results - page 19 / 38
» Categorical Views on Computations on Trees (Extended Abstrac...
Sort
View
COLCOM
2008
IEEE
15 years 7 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
16 years 9 days 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
16 years 9 days 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
16 years 24 days 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»
16 years 18 days 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