Sciweavers

88 search results - page 9 / 18
» A Transformation Framework for Communicating Multiprocessor-...
Sort
View
SWS
2004
ACM
15 years 5 months ago
Trust but verify: authorization for web services
Through web service technology, distributed applications can be built in a exible manner, bringing tremendous power to applications on the web. However, this exibility poses sig...
Christian Skalka, Xiaoyang Sean Wang
82
Voted
IFIP
2009
Springer
15 years 6 months ago
Applied Quantitative Information Flow and Statistical Databases
We firstly describe an algebraic structure which serves as solid basis to quantitatively reason about information flows. We demonstrate how programs in form of partition of state...
Jonathan Heusser, Pasquale Malacaria
COORDINATION
2005
Springer
15 years 5 months ago
Synchronized Hyperedge Replacement for Heterogeneous Systems
Abstract. We present a framework for modelling heterogeneous distributed systems using graph transformations in the Synchronized Hyperedge Replacement approach, which describes com...
Ivan Lanese, Emilio Tuosto
86
Voted
CG
2005
Springer
14 years 11 months ago
Enhancing collaboration in virtual reality applications
We derive a complete component framework for transforming standalone VR applications into full-fledged multithreaded Collaborative Virtual Reality Environments (CVREs), after char...
Víctor Theoktisto, Marta Fairén Gonz...
INFOCOM
2006
IEEE
15 years 5 months ago
"Take One Get One Free": Leveraging P2P Networks for Content Promotion
— The nature of digital content is undergoing a radical transformation due to the growing infusion of user-generated content. Users that generate content have a strong motivation...
Himabindu Pucha, Sabyasachi Roy, Y. Charlie Hu