Sciweavers

9888 search results - page 162 / 1978
» compute 2009
Sort
View
148
Voted
EDOC
2009
IEEE
15 years 9 months ago
Towards Reference Passing in Web Service and Workflow-Based Applications
Matthias Wieland, Katharina Görlach, David Sc...
CIE
2009
Springer
16 years 19 days ago
Dialectica Interpretation with Fine Computational Control
This paper is an attempt to refine Hernest’s [2] extension of Berger’s uniform quantifiers [1] to G¨odel’s functional (Dialectica) interpretation [3]. We consider the poss...
Trifon Trifonov
GI
2009
Springer
15 years 10 months ago
Self-monitoring for Computer Users
: We are presenting a tool for collecting and analysing computer usage data. The observed data are locally used by the user to self-monitor and self-reflect her behaviour, decontro...
Maren Scheffel, Martin Friedrich, Marco Jahn, Uwe ...