8232 search results - page 473 / 1647 » Dynamic Logic Programming |
225
click to vote
ICSE
2001
IEEE-ACM
16 years 1 days ago
2001
IEEE-ACM
Dynamic analysis is based on collecting data as the program runs. However, raw traces tend to be too voluminous and too unstructured to be used directly for visualization and unde...
213
click to vote
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
In many application areas, including piracy detection, software debugging and maintenance, situations arise in which there is a need for comparing two versions of a program that d...
204
click to vote
OOPSLA
2005
Springer
16 years 1 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
206
click to vote
LPNMR
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. The rapid expansion of the Internet and World Wide Web led to growing interest in data and information integration, which should be capable to deal with inconsistent and ...
214
click to vote
RULEML
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies. It allows to build answer set programming (ASP) on top...