9931 search results - page 160 / 1987 » Generative Modeling by PRISM |
113
click to vote
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
137
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: Exhaustive methods of sequence alignment are accurate but slow, whereas heuristic approaches run quickly, but their complexity makes them more difficult to implement. ...
117
click to vote
QSIC
2009
IEEE
15 years 10 months ago
2009
IEEE
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
128
Voted
WSC
2008
15 years 5 months ago
2008
Simulations often depend heavily on random numbers, yet the impact of random number generators is recognized seldom. The generation of random numbers for simulations is not trivia...
132
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...