Sciweavers

101 search results - page 21 / 21
» Some Progress in Satisfiability Checking for Difference Logi...
Sort
View
HT
2004
ACM
13 years 11 months ago
Hypertext versioning for embedded link models
In this paper, we describe Chrysant, a hypertext version control system for embedded link models. Chrysant provides generalpurpose versioning capability to hypertext systems with ...
Kai Pan, E. James Whitehead Jr., Guozheng Ge