53 search results - page 7 / 11 » Macro Impact Analysis Using Macro Slicing |
ACL2
2006
ACM
14 years 1 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
EUMAS
2006
13 years 8 months ago
2006
One of the major puzzles in performing multi-agent-based simulations is the validity of their results. Optimisation of simulation parameters can lead to results that can be deceit...
WCE
2007
13 years 8 months ago
2007
— In many applications of failure time data analysis, it is important to perform inferences about the median of the distribution function in situations of failure time data model...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
We propose static program analysis techniques for identifying the impact of relational database schema changes upon object-oriented applications. We use dataflow analysis to extra...
ESAW
2004
Springer
14 years 26 days ago
2004
Springer
In this paper we present analysis and calibration techniques that exploit knowledge about a multi agent society in order to calibrate the system parameters of a corresponding socie...