Sciweavers

4286 search results - page 526 / 858
» Formalizing Service Interactions
Sort
View
CHI
2010
ACM
15 years 11 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
15 years 11 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
15 years 11 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
15 years 11 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
15 years 11 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...