Sciweavers

31 search results - page 6 / 7
» csur 1999
Sort
View
CSUR
1999
96views more  CSUR 1999»
13 years 5 months ago
Information visualization for hypermedia systems
: Information Visualization can make hypermedia systems more usable by presenting a site map to assist in navigation. In this paper we explain some of the difficulties in developin...
Sougata Mukherjea
CSUR
1999
114views more  CSUR 1999»
13 years 5 months ago
Directions for Research in Approximate System Analysis
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
Patrick Cousot
CSUR
1999
78views more  CSUR 1999»
13 years 5 months ago
Rough'n'Ready: A Meeting Recorder and Browser
A great deal of valuable information and content in collaborative situations is lost because it is either too difficult to preserve, or adequate means do not exist to preserve it....
Francis Kubala, Sean Colbath, Daben Liu, John Makh...
CSUR
1999
137views more  CSUR 1999»
13 years 5 months ago
Algebraic Methods for Specification and Formal Development of Programs
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
Donald Sannella, Andrzej Tarlecki
CSUR
1999
96views more  CSUR 1999»
13 years 5 months ago
Hypermedia on the Web: what will it take?
: Researchers in the hypermedia field often lament that the World Wide Web does not support many of hypermedia's rich structuring, navigation and annotation features. What wou...
Fabio Vitali, Michael Bieber