Sciweavers

6607 search results - page 636 / 1322
» Making TeX Work
Sort
View
HT
1999
ACM
15 years 11 months ago
Mix'n'match: Exchangeable Modules of Hypermedia Style
Making hypermedia adaptable for multiple forms of presentation involves enabling multiple distinct specifications for how a given collection of hypermedia can have its presentatio...
Lloyd Rutledge, Lynda Hardman, Jacco van Ossenbrug...
PODC
1999
ACM
15 years 11 months ago
On k-Set Consensus Problems in Asynchronous Systems
ÐIn this paper, we investigate the k-set consensus problem in asynchronous distributed systems. In this problem, each participating process begins the protocol with an input value...
Roberto De Prisco, Dahlia Malkhi, Michael K. Reite...
POPL
1999
ACM
15 years 11 months ago
JFlow: Practical Mostly-Static Information Flow Control
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
Andrew C. Myers
SIGCPR
1999
ACM
177views Hardware» more  SIGCPR 1999»
15 years 11 months ago
Interrogative theory of information and knowledge
This report offers an interrogative-based approach to differentiating and quantifying information and knowledge within text. We examine the work of Popper, Shannon, Weaver, Brooke...
Edward J. Quigley, Anthony Debons
SIGIR
1999
ACM
15 years 11 months ago
From Reading to Retrieval: Freeform Ink Annotations as Queries
User interfaces for digital libraries tend to focus on retrieval: users retrieve documents online, but then print them out and work with them on paper. One reason for printing doc...
Gene Golovchinsky, Morgan N. Price, Bill N. Schili...