4469 search results - page 315 / 894 » Dynamic Program Slicing |
148
click to vote
TYPES
1995
Springer
15 years 5 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
129
click to vote
VISSYM
2007
15 years 4 months ago
2007
We present a set of techniques and design principles for the visualization of large dynamic software logs consisting of attributed change events, such as obtained from instrumenti...
112
Voted
IJCAI
1997
15 years 3 months ago
1997
This paper presents an interactive method for building a controller for dynamic systems by using a combination of knowledge acquisition and machine learning techniques. The aim is...
104
Voted
JSW
2006
15 years 2 months ago
2006
The increased use of electronic service has invented a new term Service-Oriented Architecture. In a typical distributed environment consisting of many independent devices and servi...
140
click to vote
GECCO
2010
Springer
15 years 26 days ago
2010
Springer
A multiobjective genetic algorithm for detecting communities in dynamic networks, i.e., networks that evolve over time, is proposed. The approach leverages on the concept of evolu...