1403 search results - page 153 / 281 » Quantitative Interprocedural Analysis |
CCS
2007
ACM
14 years 4 months ago
2007
ACM
In measuring the overall security of a network, a crucial issue is to correctly compose the measure of individual components. Incorrect compositions may lead to misleading results...
ACIVS
2006
Springer
14 years 4 months ago
2006
Springer
In this paper we propose the use of Discrete Choice Analysis (DCA) for static facial expression classification. Facial expressions are described with expression descriptive units ...
CAV
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
ICECCS
2002
IEEE
14 years 3 months ago
2002
IEEE
Network traffic logs play an important role in incident analysis. With the increasing throughput of network links, maintaining a complete log of all network activity has become a...
DAS
2008
Springer
14 years 2 days ago
2008
Springer
Certain forms of mathematical expression are used more often than others in practice. A quantitative understanding of actual usage can provide additional information to improve th...