852 search results - page 84 / 171 » Refactoring module structure |
JIT
2005
Springer
14 years 3 months ago
2005
Springer
: On the one hand, traits are a powerful way of structuring classes. Traits support the reuse of method collections over several classes. However, traits cannot be used when specif...
TLCA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
Evolutionary algorithms are a promising approach for the automated design of artificial neural networks, but they require a compact and efficient genetic encoding scheme to repres...
ICCS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We describe, analyze and submit results of a real-time total order multicast protocol developed on a distributed real-time system architecture that consists of hierarchic...
AOSD
2003
ACM
14 years 3 months ago
2003
ACM
Join point interception (JPI), is considered an important cornerstone of aspect-oriented languages. However, we claim that JPI alone does not suffice for a modular structuring of ...