1671 search results - page 255 / 335 » Language Constructs for Multi-agent Programming |
ICSE
2008
IEEE-ACM
16 years 20 days ago
2008
IEEE-ACM
Because of the strong coupling of classes and the proliferation of unneeded class members induced by inheritance, the suggestion to use composition and delegation instead has beco...
197
click to vote
PADL
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
ICSE
2005
IEEE-ACM
15 years 12 months ago
2005
IEEE-ACM
Data structure repair is a promising technique for enabling programs to execute successfully in the presence of otherwise fatal data structure corruption errors. Previous research...
103
click to vote
AOSD
2010
ACM
15 years 6 months ago
2010
ACM
Aspect-Oriented Modeling (AOM) provides support for separating concerns at the design level. Even though most AOM approaches provide means to execute the composition of the modula...
CIKM
2009
Springer
15 years 6 months ago
2009
Springer
This paper presents a tree-pattern-based method of automatically and accurately finding code clones in program files. Duplicate tree-patterns are first collected by anti-unificati...