3742 search results - page 218 / 749 » On the Use of Formal Techniques for Validation |
147
click to vote
ICES
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. As mobile devices become more powerful, interprocess communication becomes increasingly more important. Unfortunately, this larger freedom of mobility gives rise to unkno...
164
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
157
click to vote
EUROCRYPT
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper describes new techniques for fast correlation attacks, based on Gallager iterative decoding algorithm using parity-check equations of weight greater than 3. Th...
169
click to vote
FLAIRS
2010
15 years 6 months ago
2010
We present a novel algorithm that allows agents to discover a navigation mesh for an environment as they move through the environment. The Navigation-Mesh Automated Discovery (NMA...
167
click to vote
IJDMB
2008
15 years 6 months ago
2008
: We propose an approach for quantifying the biological relatedness between gene products, based on their properties, and measure their similarities using exclusively statistical N...