1008 search results - page 89 / 202 » A graphic functional-dataflow language |
144
Voted
SEKE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
132
Voted
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
110
Voted
DOCENG
2010
ACM
15 years 4 months ago
2010
ACM
Modern GUI toolkits, and especially RIA ones, propose the concept of binding to dynamically link domain data and their presentations. Bindings are very simple to use for predefine...
113
Voted
CHI
2009
ACM
16 years 4 months ago
2009
ACM
Information is traditionally confined to paper or digitally to a screen. In this paper, we introduce WUW, a wearable gestural interface, which attempts to bring information out in...
114
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
We are developing a digital writing tool, Polymorphic Letters (PL), to investigate hand and pen movements as they may extend and enrich expression in written language. PL recogniz...