3912 search results - page 337 / 783 » Adaptive Navigation Support |
186
click to vote
LPAR
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
144
click to vote
HT
2004
ACM
16 years 5 days ago
2004
ACM
The SMIL 2.0 Language profile support several mechanisms for controlling interactivity in a SMIL 2.0 presentation. Unfortunately, the SMIL standard testset does not verify complex...
157
click to vote
HT
2004
ACM
16 years 5 days ago
2004
ACM
We introduce a WebDAV-based Hypertext Annotation and Trail System (HATS). HATS provides annotation editing, deleting, searching, and sharing using server side WebDAV capabilities....
179
click to vote
CAISE
2004
Springer
16 years 4 days ago
2004
Springer
This paper illustrates the OntoWeaver modelling approach, which relies on a set of comprehensive site ontologies to model all aspects of dataintensive web sites and thus offers hig...
166
click to vote
ER
2004
Springer
16 years 4 days ago
2004
Springer
The adoption of a logical model for temporal, data-intensive Web sites is proposed together with a methodology for the development. The model allows the definition of page-schemes...