4099 search results - page 509 / 820 » A Framework for Interactive Proof |
152
Voted
SIGCSE
2004
ACM
16 years 3 days ago
2004
ACM
We present software tools that support robust input processing and comprehensive testing in Java. The software includes the JPT library that supports error-checked typed input via...
173
click to vote
PROMAS
2004
Springer
16 years 1 days ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, Omni, that allows the balance of global organizational requirements with the autonomy of individual agents....
147
click to vote
SELMAS
2004
Springer
16 years 23 hour ago
2004
Springer
Software systems of today are characterized by the increasing size, complexity, distribution and heterogeneity. Understanding and supporting the interaction between software requi...
204
click to vote
ISMAR
2003
IEEE
15 years 12 months ago
2003
IEEE
In the past, architectures of Augmented Reality systems have been widely different and taylored to specific tasks. In this paper, we use the example of the SHEEP game to show how...
162
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Traditional Computer-Aided Teaching and Learning (CAT/CAL) environments in multimedia-based teleeducation do not empower knowledge consumers (trainees, students etc.) to practice ...