Sciweavers

4327 search results - page 115 / 866
» Web presentation system using RST events
Sort
View
ASM
2008
ASM
15 years 6 months ago
A First Attempt to Express KAOS Refinement Patterns with Event B
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
Abderrahman Matoussi, Frédéric Gerva...
VIZSEC
2004
Springer
15 years 9 months ago
PortVis: a tool for port-based detection of security events
Most visualizations of security-related network data require large amounts of finely detailed, high-dimensional data. However, in some cases, the data available can only be coars...
Jonathan McPherson, Kwan-Liu Ma, Paul Krystosk, To...
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
IADIS
2003
15 years 5 months ago
SPLAT: A System for Self-Plagiarism Detection
This paper presents a system for self-plagiarism detection, SPLAT. The system uses a WebL web spider that crawls through the web sites of the top fifty Computer Science department...
Christian S. Collberg, Stephen G. Kobourov, Joshua...
ECTEL
2007
Springer
15 years 10 months ago
An Ontology based Web Annotation System to Create New Learning Practices
Web2.0 is a conceptual framework that aims at enhancing the World Wide Web with semantic and social functionnalities. For this framework to fully develop, there is a need for concr...
Christophe Piombo, Hadj Batatia, Pascal Dayre, Ala...