3311 search results - page 141 / 663 » Deductive Object Programming |
129
click to vote
NGC
1998
Springer
15 years 1 months ago
1998
Springer
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...
111
click to vote
CCS
2010
ACM
14 years 11 months ago
2010
ACM
Cross-domain information exchange is a growing problem, as business and governmental organizations increasingly need to integrate their information systems with those of partially...
145
click to vote
ICSM
2002
IEEE
15 years 6 months ago
2002
IEEE
When a software system enters the maintenance phase, the availability of accurate and consistent information about its organization can help alleviate the difficulties of program...
113
Voted
ICSE
2005
IEEE-ACM
16 years 1 months ago
2005
IEEE-ACM
UML sequence diagrams are commonly used to represent object interactions in software systems. This work considers the problem of extracting UML sequence diagrams from existing cod...
178
click to vote
GPC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...