2947 search results - page 55 / 590 » Analyzing Program Analyses |
104
click to vote
KBSE
2008
IEEE
15 years 8 months ago
2008
IEEE
We present and evaluate a framework and tool for combining multiple program analyses which allows the dynamic (on-line) adjustment of the precision of each analysis depending on t...
110
click to vote
LOPSTR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper aims at offering an insightful synthesis of different compositional semantics for logic program composition which have been developed in the literature. In p...
206
click to vote
CAV
2012
Springer
13 years 4 months ago
2012
Springer
Abstract. BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for bio...
IDA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this paper, a method to analyze GSM network performance on the basis of massive data records and application domain knowledge is presented. The available measurements ...
143
Voted
RR
2010
Springer
15 years 7 days ago
2010
Springer
The Accountability In RDF (AIR) language is an N3-based, Semantic Web production rule language that supports nested activation of rules, negation, closed world reasoning, scoped co...