2947 search results - page 300 / 590 » Analyzing Program Analyses |
186
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper applies Lehman's theory of software evolution to analyse the characteristics of web-based applications and identifies the essences and incidents that cause difficu...
203
click to vote
AAAI
2008
15 years 9 months ago
2008
We describe HTN-MAKER, an algorithm for learning hierarchical planning knowledge in the form of decomposition methods for Hierarchical Task Networks (HTNs). HTNMAKER takes as inpu...
168
click to vote
FAST
2008
15 years 9 months ago
2008
The reliability of file systems depends in part on how well they propagate errors. We develop a static analysis technique, EDP, that analyzes how file systems and storage device d...
157
click to vote
WSC
2007
15 years 9 months ago
2007
We describe the spatial Agent-Based Computational Laboratory that we have developed to study the pandemic influenza risks of US cities. This research presented a series of interes...
195
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
Simulation is widely used as a tool for analyzing business s but is mostly focused on examining rather abstract steady-state situations. Such analyses are helpful for the initial d...