Sciweavers

1401 search results - page 146 / 281
» Randomness in Interactive Proofs
Sort
View
CHI
2008
ACM
15 years 10 months ago
Paperproof: a paper-digital proof-editing system
Recent approaches for linking paper and digital information or services tend to be based on a one-time publishing of digital information where changes to the printed document beco...
Nadir Weibel, Adriana Ispas, Beat Signer, Moira C....
OTM
2007
Springer
15 years 4 months ago
Property-Preserving Evolution of Components Using VPA-Based Aspects
Abstract. Protocols that govern the interactions between software components are a popular means to support the construction of correct component-based systems. Previous studies ha...
Dong Ha Nguyen, Mario Südholt
SEMWEB
2005
Springer
15 years 3 months ago
An Ontological Framework for Dynamic Coordination
Abstract. Coordination is the process of managing the possible interactions between activities and processes; a mechanism to handle such interactions is known as a coordination reg...
Valentina A. M. Tamma, Chris van Aart, Thierry Moy...
MHCI
2004
Springer
15 years 3 months ago
Personalization-Based Optimization of Web Interfaces for Mobile Devices
Developing personalized applications for the ubiquitous Web assumes to provide different user interfaces addressing heterogeneous capabilities of device classes. Major problems are...
Michael Hinz, Zoltán Fiala, Frank Wehner
CHI
2002
ACM
15 years 10 months ago
Gaze behavior of talking faces makes a difference
We present the results of an experiment investigating the effects of a talking head's gaze behavior on the user's quality assessment of the interface. We compared a vers...
Ivo van Es, Dirk Heylen, Betsy van Dijk, Anton Nij...