Sciweavers

3705 search results - page 168 / 741
» Building Documentation Generators
Sort
View
102
Voted
IC
2008
15 years 5 months ago
Generating Web Monitors
- A web monitor is a program used to monitor some public HTML-based Internet information available from dynamic HTML documents on the Internet based on a user defined set of criter...
Nader Mohamed, Ahlam Romaithi, Eiman Samahi, Maith...
128
Voted
DAC
2002
ACM
16 years 4 months ago
Deriving a simulation input generator and a coverage metric from a formal specification
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
Kanna Shimizu, David L. Dill
110
Voted
CHI
2009
ACM
16 years 4 months ago
Expert recommender systems in practice: evaluating semi-automatic profile generation
Expert recommender systems (ERS) are considered a promising technology in knowledge management. However, there are very few studies which evaluated their appropriation in practice...
Tim Reichling, Volker Wulf
DSN
2009
IEEE
15 years 10 months ago
Report generation for simulation traces with Traviando
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...
Peter Kemper
123
Voted
TAL
2004
Springer
15 years 9 months ago
A Study of Chunk-Based and Keyword-Based Approaches for Generating Headlines
Abstract. This paper describes two procedures for generating very short summaries for documents from the DUC-2003 competition: a chunk extraction method based on syntactic dependen...
Enrique Alfonseca, José María Guirao...