Sciweavers

2 search results - page 1 / 1
» HyDE: A Hypermedia Document Editor Based on OLE Technology
Sort
View
ICMCS
1994
IEEE
88views Multimedia» more  ICMCS 1994»
14 years 3 months ago
HyDE: A Hypermedia Document Editor Based on OLE Technology
Joaquim Sousa Pinto, H. W. J. Borst Pauwels, Joaqu...
WWW
2002
ACM
14 years 11 months ago
Model checking cobweb protocols for verification of HTML frames behavior
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...
P. David Stotts, Jaime Navon