962 search results - page 57 / 193 » Input validation analysis and testing |
101
Voted
COLING
2002
15 years 2 months ago
2002
This paper presents the Natural Language Processing-based linguistic analysis tool that we have developed for Japanese as a Second Language teachers. This program, Zero Detector (...
135
click to vote
EPEW
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEP...
115
click to vote
RE
2008
Springer
15 years 1 months ago
2008
Springer
Abstract During the selection of commercial off-theshelf (COTS) products, mismatches encountered between stakeholders' requirements and features offered by COTS products are i...
ICCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We describe, devise, and augment dynamic data-driven application simulations (DDDAS). DDDAS offers interesting computational and mathematically unsolved problems. In thi...
124
click to vote
CCCG
2008
15 years 3 months ago
2008
We prove a tight asymptotic bound of ( log(n/)) on the worst case computational complexity of the convex hull of the union of two convex objects of sizes summing to n requiring o...