580 search results - page 69 / 116 » History-based Tools for Navigation |
ER
2004
Springer
14 years 2 months 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...
SEKE
2004
Springer
14 years 2 months ago
2004
Springer
A typical software development team leaves behind a large amount of information. This information takes different forms, such as mail messages, software releases, version control ...
ECBS
2003
IEEE
14 years 2 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
ICALT
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper describes the design of a metadata model for capturing presentations developed as part of the VACE project (Video and Audio Capturing and Embedding). VACE is a modular,...
ICRA
2002
IEEE
14 years 2 months ago
2002
IEEE
Dynamical systems theory is used here as a theoretical language and tool to design a distributed control archictecture that generates navigation in formation, integrated with obst...