2413 search results - page 403 / 483 » Models for universal usability |
DIGITALCITIES
2000
Springer
14 years 2 months ago
2000
Springer
Community networks are community-oriented information and communication systems that are generally patterned after the public library’s model of free, inclusive service and commi...
AGP
1999
IEEE
14 years 2 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
DEXA
1999
Springer
14 years 2 months ago
1999
Springer
Workflow management systems require advanced transaction support to cope with their inherently long-running processes. The recent trend to distribute workflow executions requires ...
TPHOL
1999
IEEE
14 years 2 months ago
1999
IEEE
The standard versions of HOL only support disjoint sums over finite families of types. This paper introduces disjoint sums over type classes containing possibly a countably infinit...
IFIP
1999
Springer
14 years 2 months ago
1999
Springer
: In a relatively short period of time, educational technology has become a basic component of the instructional life of almost every College or University around the world. The wa...