Sciweavers

6348 search results - page 337 / 1270
» A Lesson for Software Engineering from Knowledge Engineering
Sort
View
UIST
1998
ACM
15 years 9 months ago
Quikwriting: Continuous Stylus-Based Text Entry
We present a “heads-up” shorthand for entering text on a stylus-based computer very rapidly. The innovations are that (i) the stylus need never be lifted from the surface, and...
Ken Perlin
UIST
1996
ACM
15 years 9 months ago
Adding Imageability Features to Information Displays
Techniques for improving the imageability of an existing data visualisation are described. The aim is to make the visualisation more easily explored, navigated and remembered. Sta...
Matthew Chalmers, Robert Ingram, Christoph Pfrange...
ISOTAS
1993
15 years 9 months ago
Maintaining Behavioral Consistency during Schema Evolution
We examine the problem of how to ensure behavioral consistency of an object-oriented system after its schema has been updated. The problem is viewed from the perspective of both t...
Paul L. Bergstein, Walter L. Hürsch
FOSSACS
2009
Springer
15 years 8 months ago
The Calculus of Handshake Configurations
Handshake protocols are asynchronous protocols that enforce several properties such as absence of transmission interference and insensitivity from delays of propagation on wires. W...
Luca Fossati, Daniele Varacca
FOSSACS
2006
Springer
15 years 8 months ago
Parity Games Played on Transition Graphs of One-Counter Processes
We consider parity games played on special pushdown graphs, namely those generated by one-counter processes. For parity games on pushdown graphs, it is known from [22] that decidin...
Olivier Serre