3742 search results - page 392 / 749 » On the Use of Formal Techniques for Validation |
180
click to vote
SIGSOFT
1998
ACM
15 years 11 months ago
1998
ACM
Understanding large software systems is difficult. Traditionally, automated tools are used to assist program understanding. However, the representations constructed by these tool...
162
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Microarray technologies have become common tools in biological research. As a result, a need for effective computational methods for data analysis has emerged. Numerou...
161
click to vote
LISA
2000
15 years 8 months ago
2000
Most denial-of-service attacks are characterized by a flood of packets with random, apparently valid source addresses. These addresses are spoofed, created by a malicious program ...
285
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
Increasing monitoring of transactions, environmental parameters, homeland security, RFID chips and interactions of online users rapidly establishes new data sources and applicatio...
149
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Post-silicon validation has recently drawn designers' attention due to its increasing impacts on the VLSI design cycle and cost. One key feature of the post-silicon validatio...