Sciweavers

3006 search results - page 273 / 602
» Overview
Sort
View
VISUALIZATION
1998
IEEE
15 years 8 months ago
Interactive virtual angioscopy
Virtual angioscopy is a non invasive medical procedure for exploring parts of the human vascular system. We have developed an interactive tool that takes as input data acquired wi...
Enrico Gobbetti, Piero Pili, Antonio Zorcolo, Mass...
WETICE
1998
IEEE
15 years 8 months ago
Setting up a Secure Web Server and Clients on an Intranet
This paper discusses the practical issues that arise when securing the access to the World Wide Web (WWW). A brief overview of the different protocols that are proposed to secure ...
Joris Claessens, Mark Vandenwauver, Bart Preneel, ...
HT
1998
ACM
15 years 8 months ago
MAPA: A System for Inducing and Visualizing Hierarchy in Websites
The MAPA system provides improved navigation facility for large web sites. It extracts a hierarchical structure from an arbitrary web site, with some minimal user assistance, and ...
David G. Durand, Paul Kahn
EWCBR
1998
Springer
15 years 8 months ago
Collecting Experience on the Systematic Development of CBR Applications Using the INRECA Methodology
This paper presents an overview of the INRECA methodology for building and maintaining CBR applications. This methodology supports the collection and reuse of experience on the sys...
Ralph Bergmann, Sean Breen, Emmanuelle Fayol, Mehm...
FM
1998
Springer
153views Formal Methods» more  FM 1998»
15 years 8 months ago
VSE: Controlling the Complexity in Formal Software Developments
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
Dieter Hutter, Heiko Mantel, Georg Rock, Werner St...