5775 search results - page 273 / 1155 » A Rationale-based Analysis Tool |
171
click to vote
FMSD
2006
15 years 6 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
173
click to vote
JMLR
2006
15 years 6 months ago
2006
In recent years anti-spam filters have become necessary tools for Internet service providers to face up to the continuously growing spam phenomenon. Current server-side anti-spam ...
193
click to vote
AIME
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Mammographic analysis is a diļ¬cult task due to the complexity of image interpretation. This results in diagnostic uncertainty, thus provoking the need for assistance by...
184
click to vote
BIBM
2008
IEEE
16 years 1 months ago
2008
IEEE
Using microarray technology for genetic analysis in biological experiments requires computationally intensive tools to interpret results. The main objective here is to develop a ā...
150
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Many approaches to software veriļ¬cation are currently semi-automatic: a human must provide key logical insights ā e.g., loop invariants, class invariants, and frame axioms tha...