1992 search results - page 133 / 399 » Model Based Testing with Labelled Transition Systems |
142
click to vote
ISSADS
2005
Springer
15 years 9 months ago
2005
Springer
Workflow is the key technology for business process automation, while distributed workflow is the solution to deal with the decentralized nature of workflow applications and the pe...
133
Voted
TR
2010
14 years 10 months ago
2010
Abstract--In the past ten years, the software aging phenomenon has been systematically researched, and recognized by both academic, and industry communities as an important obstacl...
125
Voted
ECCV
2006
Springer
16 years 5 months ago
2006
Springer
A novel technique for extracting texture edges is introduced. It is based on the combination of two ideas: the patch-based approach, and non-parametric tests of distributions. Our ...
119
click to vote
ISPA
2004
Springer
15 years 8 months ago
2004
Springer
HPL is a parallel Linpack benchmark package widely adopted in massive cluster system performance test. On HPL data layout among processors, a law to determine block size NB theoret...
150
Voted
CADE
2012
Springer
13 years 5 months ago
2012
Springer
We propose a word level, bounded model checking (BMC) algorithm based on translation into the effectively propositional fragment (EPR) of firstorder logic. This approach to BMC al...