2978 search results - page 280 / 596 » A product-based information management approach |
225
click to vote
MKM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...
180
click to vote
SECURWARE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. This paper presents our pattern-based approach to run-time requirements monitoring and threat detection being developed as part of an approach to build frameworks support...
170
click to vote
SECURWARE
2008
IEEE
16 years 1 months ago
2008
IEEE
Email worms and the spam associated with them are one of the main operational security issues today because they waste time, money and resources. The high incidence of email worms...
171
click to vote
ICDIM
2007
IEEE
16 years 29 days ago
2007
IEEE
Learning classifiers has been studied extensively the last two decades. Recently, various approaches based on patterns (e.g., association rules) that hold within labeled data hav...
168
click to vote
ADC
2003
Springer
15 years 12 months ago
2003
Springer
The rapid increase of web complexity and size makes web searched results far from satisfaction in many cases due to a huge amount of information returned by search engines. How to...