4716 search results - page 444 / 944 » Iterative-free program analysis |
181
click to vote
ATVA
2010
Springer
15 years 8 months ago
2010
Springer
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
157
click to vote
ECR
2006
15 years 6 months ago
2006
Within the software industry software piracy is a great concern. In this article we address this issue through a prevention technique called software watermarking. Depending on ho...
162
click to vote
IJBRA
2008
15 years 6 months ago
2008
Abstract Observing behaviors of protein pathways and genetic networks under various environments in living cells is essential for unraveling disease and developing drugs. For that ...
193
click to vote
IJNSEC
2008
15 years 6 months ago
2008
The paper discusses our research in development of general and systematic methods for intrusion prevention. The key idea is to use data mining techniques to discover repeated patt...
205
click to vote
JSW
2008
15 years 6 months ago
2008
The current software development environment has been changing into new development paradigms such as concurrent distributed development environment and the so-called open source p...