416 search results - page 45 / 84 » Modeling Input Validation in UML |
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Segmentation of speech signals is a crucial task in many types of speech analysis. We present a novel approach at segmentation on a syllable level, using a Bidirectional Long-Shor...
PLDI
2009
ACM
14 years 8 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
TAP
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
WSC
1997
13 years 9 months ago
1997
This paper describes the Integrated Medical Analysis System. This evolving system consists of an integrated suite of models and tools providing quantitative and dynamic analysis f...
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
Enterprise Systems potentially lead to significant efficiency gains but require a well-conducted configuration process. A promising idea to manage and simplify the configuration pr...