1992 search results - page 187 / 399 » Model Based Testing with Labelled Transition Systems |
133
Voted
PROMS
2001
Springer
15 years 8 months ago
2001
Springer
—This paper presents a model-based approach to service creation. We observe that the complexity of software services increases. To manage this complexity, and to quickly create s...
133
Voted
IPMI
2007
Springer
16 years 4 months ago
2007
Springer
A crucial problem in statistical shape analysis is establishing the correspondence of shape features across a population. While many solutions are easy to express using boundary re...
146
Voted
ICDAR
2009
IEEE
15 years 1 months ago
2009
IEEE
Hybrid of Neural Network (NN) and Hidden Markov Model (HMM) has been popular in word recognition, taking advantage of NN discriminative property and HMM representational capabilit...
151
Voted
WWW
2009
ACM
15 years 10 months ago
2009
ACM
Detection of web attacks is an important issue in current defense-in-depth security framework. In this paper, we propose a novel general framework for adaptive and online detectio...
119
Voted
ISTA
2003
15 years 5 months ago
2003
: Development of distributed systems is complicated by the absence of reliable global timing, concurrency, and nondeterminism. To deal with these obstacles log files are produced b...