Sciweavers

61 search results - page 7 / 13
» Resolution of Static Clones in Dynamic Web Pages
Sort
View
ENTCS
2008
90views more  ENTCS 2008»
14 years 9 months ago
Formal Verification of Websites
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
Sonia Flores, Salvador Lucas, Alicia Villanueva
CN
2002
100views more  CN 2002»
14 years 9 months ago
Context-based navigation in the Web by means of dynamically generated guided tours
A key advantage of hypermedia systems such as the Web is that the user is able to navigate through the information space in a non-linear fashion. He can explore the interlinked do...
Wilfried Lemahieu
CN
1999
126views more  CN 1999»
14 years 9 months ago
Towards a Better Understanding of Web Resources and Server Responses for Improved Caching
This work focuses on characterizing information about Web resources and server responses that is relevant to Web caching. The approach is to study a set of URLs at a variety of si...
Craig E. Wills, Mikhail Mikhailov
88
Voted
WIKIS
2005
ACM
15 years 3 months ago
qwikWeb: integrating mailing list and WikiWikiWeb for group communication
We have developed a new powerful group communication system qwikWeb, which is an integration of a WikiWikiWeb (wiki) and a mailing list system. Mailing lists are useful for exchan...
Kouichirou Eto, Satoru Takabayashi, Toshiyuki Masu...
EDBT
2004
ACM
129views Database» more  EDBT 2004»
15 years 9 months ago
T-Araneus: Management of Temporal Data-Intensive Web Sites
T-Araneus is a tool for the generation of Web sites with special attention to temporal aspects. It builds on previous experiences in the management of data-intensive Web-sites, an...
Paolo Atzeni, Pierluigi Del Nostro