291 search results - page 28 / 59 » Interface Input Output Automata |
111
click to vote
PPDP
2010
Springer
14 years 9 months ago
2010
Springer
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...
USENIX
2000
15 years 1 months ago
2000
The transition from command-line interfaces to graphical interfaces has resulted in programs that are easier to learn and use, but harder to automate and reuse. Another transition...
159
click to vote
UIST
1992
ACM
15 years 3 months ago
1992
ACM
Distributed clientisewer models are becoming increasingly prevalent in multimedia systems and advanced user interface design. A multimedia application, for example, may play and r...
CHI
2006
ACM
16 years 4 days ago
2006
ACM
In this paper we investigate the principles for desiging multifaceted displays and their potential interfaces. D20 is a prototype of a handheld digital device which has an icosahe...
106
click to vote
ICST
2009
IEEE
15 years 6 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...