4099 search results - page 428 / 820 » A Framework for Interactive Proof |
176
click to vote
ISPDC
2003
IEEE
16 years 2 days ago
2003
IEEE
The paper presents a Java-based object-oriented system that offers a layered infrastructure to create the adequate framework for complex interactions between Grid components (e.g....
134
click to vote
CIE
2008
Springer
15 years 8 months ago
2008
Springer
We revisit Girard's reducibility candidates by proposing a general of the notion of neutral terms. They are the terms which do not interact with some contexts called eliminati...
144
click to vote
DGO
2007
15 years 8 months ago
2007
The Fully Mobile City Government Project, also known as MCity, is an interdisciplinary research project on the premises, requirements, and effects of fully mobile, wirelessly conn...
148
click to vote
SOCRATES
2008
15 years 8 months ago
2008
E-learning by doing is an important e-learning process, that provides several advantages but that requires a high interactivity degree, not always supported in e-learning contexts...
172
click to vote
AVI
2000
15 years 8 months ago
2000
The Cognitive Dimensions framework outlined here is generalised broad-brush approach to usability evaluation for all types of information artifact, from programming languages thro...