1403 search results - page 24 / 281 » Quantitative Interprocedural Analysis |
KR
2004
Springer
14 years 2 months ago
2004
Springer
The Halo Pilot, a six-month effort to evaluate the state-ofthe-art in applied Knowledge Representation and Reasoning (KRR) systems, collaboratively developed a taxonomy of failure...
EKAW
2000
Springer
14 years 13 days ago
2000
Springer
Abstract. The overall aim of this paper is to provide a general setting for quantitative quality measures of Knowledge-Based System behavior which is widely applicable to many Know...
BMCBI
2008
13 years 9 months ago
2008
Background: This article provides guidelines for selecting optimal numerical solvers for biomolecular system models. Because various parameters of the same system could have drast...
ACSAC
2010
IEEE
13 years 14 days ago
2010
IEEE
We present a quantitative lower bound on the number of vulnerable embedded device on a global scale. Over the past year, we have systematically scanned large portions of the inter...
LAWEB
2003
IEEE
14 years 2 months ago
2003
IEEE
Streaming media applications are becoming more popular on the late years, as for example, news transmitted live through the web, music, show, and films. Traditional client/server...