4099 search results - page 509 / 820 » A Framework for Interactive Proof |
165
click to vote
SIGCSE
2004
ACM
16 years 26 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...
203
Voted
PROMAS
2004
Springer
16 years 24 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....
178
click to vote
SELMAS
2004
Springer
16 years 24 days 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...
241
click to vote
ISMAR
2003
IEEE
16 years 21 days 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...
191
Voted
HICSS
2002
IEEE
16 years 12 days 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 ...