Sciweavers

16725 search results - page 228 / 3345

» Engineering Software Correctness

96

Voted

UIST
1993
ACM

67views Software Engineering» more UIST 1993»

A Marking Based Interface for Collaborative Writing

15 years 7 months ago

A Marking Based Interface for Collaborative Writing

Download www.autodeskresearch.com

Gary Hardock, Gordon Kurtenbach, William Buxton

claim paper

Read More »

105

Voted

UIST
1993
ACM

121views Software Engineering» more UIST 1993»

Animation Support in a User Interface Toolkit: Flexible, Robust, and Reusable Abstractions

15 years 7 months ago

Animation Support in a User Interface Toolkit: Flexible, Robust, and Reusable Abstractions

Download www.cc.gatech.edu

Scott E. Hudson, John T. Stasko

claim paper

Read More »

96

UIST
1994
ACM

76views Software Engineering» more UIST 1994»

Laying Out and Visualizing Large Trees Using a Hyperbolic Space

15 years 7 months ago

Laying Out and Visualizing Large Trees Using a Hyperbolic Space

Download www2.parc.com

John Lamping, Ramana Rao

claim paper

Read More »

99

Voted

UIST
1994
ACM

102views Software Engineering» more UIST 1994»

Ramonamap - an Example of Graphical Groupware

15 years 7 months ago

Ramonamap - an Example of Graphical Groupware

Download www.hpl.hp.com

Joel F. Bartlett

claim paper

Read More »

96

PEPM
1992
ACM

107views Software Engineering» more PEPM 1992»

Self-applicable Partial Evaluation for Pure Lambda Calculus

15 years 7 months ago

Self-applicable Partial Evaluation for Pure Lambda Calculus

Download repository.readscheme.org

Torben Æ. Mogensen

claim paper

Read More »

« Prev « First page 228 / 3345 Last » Next »