Sciweavers

4190 search results - page 154 / 838
» Implementing commitment-based interactions
Sort
View
ECOOP
2009
Springer
16 years 3 months ago
Checking Framework Interactions with Relationships
Software frameworks impose constraints on how plugins may interact with them. Many of hese constraints involve multiple objects, are temporal, and depend on runtime values. Additi...
Ciera Jaspan, Jonathan Aldrich
SIGMOD
2006
ACM
153views Database» more  SIGMOD 2006»
16 years 3 months ago
Interactive query formulation over web service-accessed sources
Integration systems typically support only a restricted set of queries over the schema they export. The reason is that the participating information sources contribute limited con...
Michalis Petropoulos, Alin Deutsch, Yannis Papakon...
EICS
2009
ACM
15 years 9 months ago
A bisimulation-based approach to the analysis of human-computer interaction
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
Sébastien Combéfis, Charles Pecheur
EICS
2009
ACM
15 years 9 months ago
Toward user interface virtualization: legacy applications and innovative interaction systems
Single-user, desktop-based computer applications are pervasive in our daily lives and work. The prospect of using these applications with innovative interaction systems, like mult...
Guillaume Besacier, Frédéric Vernier
ICALT
2008
IEEE
15 years 9 months ago
Interaction Analysis as a Multi-Support Approach of Social Computing for Learning, in the "Collaborative Era": Lessons Learned b
Apparently computer technology is shifting its focus, with individual users not being the main target any more. The evolution of Web 2.0 technologies is promoting the development ...
Tharrenos Bratitsis, Angelique Dimitracopoulou