4250 search results - page 399 / 850 » Understanding the Requirements on Modelling Techniques |
233
click to vote
AMOST
2007
ACM
15 years 11 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
235
click to vote
BPM
2008
Springer
15 years 9 months ago
2008
Springer
A given business process may face a large number of regulatory obligations the process may or comply with. Providing tools and techniques through which an evaluation of the complia...
213
Voted
BMCBI
2005
15 years 7 months ago
2005
Background: The Generalized Hidden Markov Model (GHMM) has proven a useful framework for the task of computational gene prediction in eukaryotic genomes, due to its flexibility an...
185
click to vote
ECBS
2006
IEEE
16 years 1 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
239
click to vote
SAC
2003
ACM
16 years 29 days ago
2003
ACM
DNA microarray hybridisation is a popular high throughput technique in academic as well as industrial functional genomics research. In this paper we present a new approach to auto...