685 search results - page 30 / 137 » Implementing Controlled Languages in GF |
PERVASIVE
2004
Springer
14 years 3 months ago
2004
Springer
In this paper, we propose a new framework for ubiquitous computing by rule-based, event-driven I/O (input/output) control devices. Our approach is flexible and autonomous because ...
HYBRID
2007
Springer
14 years 4 months ago
2007
Springer
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that...
FDL
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
PLDI
1990
ACM
14 years 1 months ago
1990
ACM
Languages such as Scheme and Smalltalk that provide continuations as first-class data objects present a challenge to efficient implementation. Allocating activation records in a h...
FLAIRS
2001
13 years 11 months ago
2001
SUITEKeys is a speech user interface for motor-disabled computer users. This interface provides access to all available functionality of a computer by modeling interaction at the ...