1046 search results - page 178 / 210 » Generating User Interface Code in a Model Based User Interfa... |
JIIS
2008
13 years 7 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
MM
2009
ACM
14 years 2 months ago
2009
ACM
This paper describes the concepts behind and implementation of the multimedia art work Alan01 / AlanOnline, which wakes up the 1952 criminally convicted Alan Turing as a piece of ...
ICDE
2012
IEEE
11 years 10 months ago
2012
IEEE
—We demonstrate SWITCH, a deep embedding of relational queries into RUBY and RUBY on RAILS. With SWITCH, there is no syntactic or stylistic difference between RUBY programs that ...
SERP
2008
13 years 9 months ago
2008
Web-based application development is a difficult task, since these applications include various features, like graphical interfaces, navigational structures, business models, and ...
MM
2006
ACM
14 years 1 months ago
2006
ACM
This paper presents a novel real-time, multi-modal biofeedback system for stroke patient therapy. The problem is important as traditional mechanisms of rehabilitation are monotono...