2623 search results - page 255 / 525 » tools 2010 |
148
Voted
IJDMB
2010
15 years 4 months ago
2010
: Since we are limited in our knowledge of human demographic history and variations of recombination and mutation rates, large-scale computer simulation is a necessary tool in gene...
179
click to vote
ISCI
2010
15 years 4 months ago
2010
A random set can be regarded as the result of the imprecise observation of a random variable. Following this interpretation, we study to which extent the upper and lower probabili...
138
Voted
ISI
2010
Springer
15 years 4 months ago
2010
Springer
—Fear of crime is a central topic in the field of victimization. In particular, criminologists are interested in the environmental structures and cues that generate fear. Resear...
228
click to vote
ISSE
2010
15 years 4 months ago
2010
A UML model of a software system can be represented by a sequence of model transformations, starting from an empty model. To effectively support the design of complex systems, tra...
144
click to vote
ISSE
2010
15 years 4 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...