1689 search results - page 55 / 338 » Refining abstract interpretations |
102
click to vote
SE
2007
15 years 3 months ago
2007
: This paper is a tutorial on the principles and applications of static tion by Abstract Interpretation to development, verification and validation ded applications. The topics cov...
CNSM
2010
15 years 13 min ago
2010
Abstract--The automation of policy refinement, whilst promising great benefits for policy-based management, has hitherto received relatively little treatment in the literature, wit...
156
click to vote
CIBSE
2008
ACM
15 years 4 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
122
click to vote
B
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...
100
click to vote
DEEC
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract. This paper presents an approach aimed at fully exploiting semantics of supply/demand descriptions in B2C and C2C e-marketplaces. Distinguishing aspects include logic-base...