82 search results - page 6 / 17 » A Markup Language for Generic User Interaction |
DSVIS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. A collection of user interface design patterns for workflow information systems is presented. Each Workflow User Interface Pattern (WUIP) is characterized by properties e...
VIP
2001
13 years 9 months ago
2001
Non-linear interactive access to video is very important in video information management. The term non-linear refers to that there are more than one video streams delivering to us...
W4A
2006
ACM
14 years 1 months ago
2006
ACM
Graphical representations are a powerful way of conveying information. Their use has made life much easier for most sighted users, but people with disabilities or users who work i...
POLICY
2007
Springer
14 years 1 months ago
2007
Springer
Recent efforts in the area of Web policy languages show concerns on how to better represent both context and rules of a domain to deal with large number of resources and users. In...
TACAS
2000
Springer
13 years 11 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...