1284 search results - page 130 / 257 » On Helping and Interactive Proof Systems |
WWW
2001
ACM
14 years 11 months ago
2001
ACM
It is expected that the next generation of smart card will be more intelligent, more interactive and more interoperable. We call these the 3i requirements. A smart card wallet sys...
GCC
2004
Springer
14 years 3 months ago
2004
Springer
A Grid computing system is a virtual resource framework. Inside the framework, resources are being shared among autonomous domains which can be geographically distributed. One prim...
ATAL
2006
Springer
14 years 2 months ago
2006
Springer
In this paper, we describe an innovative infrastructure to support student participation and collaboration and help the instructor manage large or distance classrooms using multia...
ICDE
2001
IEEE
14 years 11 months ago
2001
IEEE
The management of product-related data in a uniform and consistent way is a big challenge for many manufacturing enterprises, especially the large ones like DaimlerChrysler. So-ca...
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
Some "non-' or "extra-functional" features, such as reliability, security, and tracing, defy modularization mechanisms in programming languages. This makes suc...