Sciweavers

2441 search results - page 378 / 489
» Engineering a Tool to Detect Automatically Generated Papers
Sort
View
FSMNLP
2005
Springer
15 years 9 months ago
Klex: A Finite-State Transducer Lexicon of Korean
This paper describes the implementation and system details of Klex, a finite-state transducer lexicon for the Korean language, developed using XRCE’s Xerox Finite State Tool (XF...
Na-Rae Han
CAV
2009
Springer
132views Hardware» more  CAV 2009»
16 years 4 months ago
Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
Thao Dang, David Salinas
108
Voted
SFM
2009
Springer
15 years 10 months ago
Quantitative Analysis of Web Services Using SRMC
In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serv...
Allan Clark, Stephen Gilmore, Mirco Tribastone
CBSE
2004
Springer
15 years 9 months ago
A Framework for Reliability Assessment of Software Components
Abstract. This paper proposes a conceptual framework for the reliability assessment of software components that incorporates test case execution and output evaluation. Determining ...
Rakesh Shukla, Paul A. Strooper, David A. Carringt...
117
Voted
ISSRE
2003
IEEE
15 years 9 months ago
Coverage Criteria for Logical Expressions
A large number of coverage criteria to generate tests from logical expressions have been proposed. Although there have been large variations in the terminology, the articulation o...
Paul Ammann, A. Jefferson Offutt, Hong Huang