Sciweavers

4286 search results - page 526 / 858
» Formalizing Service Interactions
Sort
View
CHI
2010
ACM
16 years 2 months ago
Text 2.0
We created a simple-to-use framework to construct gazeresponsive applications using web technology focussing on text. A plugin enables any compatible browser to interpret a new se...
Ralf Biedert, Georg Buscher, Sven Schwarz, Jö...
CHI
2010
ACM
16 years 2 months ago
Contacts 3.0: bringing together research and design teams to reinvent the phonebook
We present a narrative of the design of Contacts 3.0, a service and updated phonebook application on a mobile device that combines on-device communication with communication from ...
Frank R. Bentley, JoEllen Kames, Rafiq Ahmed, Rhia...
FOSSACS
2010
Springer
16 years 2 months ago
Parameterised Multiparty Session Types
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
Nobuko Yoshida, Pierre-Malo Deniélou, Andi ...
MHCI
2009
Springer
16 years 1 months ago
Usability evaluation of OpenWeb transcoding
This paper describes collaborative work between industry and academia aimed at supporting the design and assessment of a transcoding service to support mobile phone internet brows...
Elizabeth Uruchurtu, Ellie Lockley, Chris Roast, I...
OOPSLA
2009
Springer
16 years 1 months ago
S.P.L.O.T.: software product lines online tools
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...
Marcílio Mendonça, Moises Branco, Do...