Sciweavers

5904 search results - page 445 / 1181
» Requirements for a Composition Language
Sort
View
ACL
1998
15 years 8 months ago
A Framework for Customizable Generation of Hypertext Presentations
In this paper, we present a framework, PRESENTOR, for the development and customization of hypertext presentation generators. PRESENTOR offers intuitive and powerful declarative l...
Benoit Lavoie, Owen Rambow
COLING
2002
15 years 6 months ago
Entering Text with a Four-Button Device
This paper presents the design of a text-entry device that requires only four buttons. Such a device is applicable as the text interface of portable machines and as an interface f...
Kumiko Tanaka-Ishii, Yusuke Inutsuka, Masato Takei...
ICFP
2007
ACM
16 years 7 months ago
Experience report: building an eclipse-based IDE for Haskell
This paper summarizes experiences from an open source project that builds a free Haskell IDE based on Eclipse (an open source IDE platform). Eclipse is extensible and has proved t...
Leif Frenzel
PERCOM
2007
ACM
16 years 6 months ago
MundoCore: A light-weight infrastructure for pervasive computing
MundoCore is a communication middleware specifically designed for the requirements of pervasive computing. To address the high degree of heterogeneity of platforms and networking ...
Erwin Aitenbichler, Jussi Kangasharju, Max MühlhÃ...
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
16 years 15 days ago
Accurate Step Counting
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
Catherine Hope, Graham Hutton