4894 search results - page 197 / 979 » Dynamic Abstraction Planning |
128
Voted
SPATIALCOGNITION
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In the context of a research about application of dynamic visualisation parameters in animations for monitoring purposes, this paper reports on characteristics of dynamic...
109
click to vote
ICSM
1999
IEEE
15 years 8 months ago
1999
IEEE
Recovering architectural documentation from code is crucial to maintaining and reengineering software systems. Reverse engineering and program understanding approaches are often l...
126
click to vote
KBSE
2008
IEEE
15 years 10 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...
120
click to vote
ASM
2000
ASM
15 years 8 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...