2673 search results - page 502 / 535 » Guided Static Analysis |
105
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...
126
click to vote
SP
2010
IEEE
14 years 10 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
134
Voted
CAIP
2009
Springer
14 years 10 months ago
2009
Springer
This paper describes a method for seamless enlargement or editing of difficult colour textures containing simultaneously both regular periodic and stochastic components. Such textu...
136
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
155
click to vote
BMCBI
2011
14 years 7 months ago
2011
Background: Genomic position (GP) files currently used in next-generation sequencing (NGS) studies are always difficult to manipulate due to their huge size and the lack of approp...