5377 search results - page 663 / 1076 » Programming Languages For Interactive Computing |
179
click to vote
USENIX
1994
15 years 7 months ago
1994
A hybrid of window system, shell, and editor, Acme gives text-oriented applications a clean, expressive, and consistent style of interaction. Traditional window systems support in...
192
click to vote
SPIN
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
149
Voted
WCRE
2000
IEEE
15 years 10 months ago
2000
IEEE
We show how hypertext-based program understanding tools eve new levels of abstraction by using inferred type information for cases where the subject software system is written in ...
137
click to vote
OWLED
2007
15 years 7 months ago
2007
Ontologies enable explicit expression of collective concepts and support Machine-to-Machine (M2M) interactions at the semantic level. Ontologies expressed in a standard language, s...
127
click to vote
AVI
1996
15 years 7 months ago
1996
A framework for user-interfaces to databases (IDSs) is proposed which draws from existing research on human computer interaction (HCI) and database systems. The framework is descr...