Sciweavers

84 search results - page 4 / 17
» Efficient Session Type Guided Distributed Interaction
Sort
View
FMCO
2008
Springer
109views Formal Methods» more  FMCO 2008»
13 years 7 months ago
Session-Based Compilation Framework for Multicore Programming
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. O...
Nobuko Yoshida, Vasco Thudichum Vasconcelos, Herv&...
ISCC
2000
IEEE
13 years 9 months ago
An Efficient and Flexible Late Join Algorithm for Interactive Shared Whiteboards
In this paper we propose a novel late join algorithm for distributed applications with a fully replicated architecture (e.g. shared whiteboards). The term `late join algorithm'...
Werner Geyer, Jürgen Vogel, Martin Mauve
WMI
2001
114views more  WMI 2001»
13 years 7 months ago
A scalable, distributed middleware service architecture to support mobile internet applications
Middleware layers placed between user clients and application servers have been used to perform a variety of functions to support the vision of nomadic computing across varying pla...
Thomas Phan, Richard G. Guy, Rajive Bagrodia
CONCUR
2010
Springer
13 years 7 months ago
A Theory of Design-by-Contract for Distributed Multiparty Interactions
Reliability is a critical issue in many multi-organizational distributed applications, be they web services, financial protocols, scientific computing infrastructure, and software ...
Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Y...
EICS
2009
ACM
13 years 10 months ago
Flexible and efficient platform modeling for distributed interactive systems
Distributed interactive systems often rely on platform information, used for example when migrating a user interface to a small-screen device, or when opportunistically recruiting...
Xiao Feng Qiu, T. C. Nicholas Graham