1284 search results - page 169 / 257 » On Helping and Interactive Proof Systems |
FOAL
2008
ACM
13 years 11 months ago
2008
ACM
Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individual...
IFIP13
2004
13 years 11 months ago
2004
: Function allocation, as a process used in the construction of dependable complex systems, is a significant aspect of the design and implementation of interactive systems. It invo...
JCP
2008
13 years 10 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
LWA
2008
13 years 11 months ago
2008
Several applications support the adaptation of course material. Even though most of these systems allow to specify interaction preferences or even employ user modeling techniques,...
IUI
2006
ACM
14 years 4 months ago
2006
ACM
Large organizations with sophisticated infrastructures have large form-based systems that manage the interaction between the user community and the infrastructure. In many cases, ...