1597 search results - page 230 / 320 » A Design Method for Object-Oriented Programming |
FM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
104
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Evolutionary models typically rely on a single level of evolution for training a team of cooperating agents. I present a model that evolves at two levels—an “organizational”...
122
Voted
AIS
2004
Springer
15 years 9 months ago
2004
Springer
The paper proposes three dimensional extension to High Level ARchitecture (HLA) and Runtime Infrastructure (RTI) to solve several issues such as security, information hiding proble...
122
Voted
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
Generative programming and aspect-oriented software development have been proposed over the last years aiming at increasing maintainability and reusability of software systems. Wh...
121
click to vote
DSD
2003
IEEE
15 years 8 months ago
2003
IEEE
Cache design for high performance computing requires the realization of two seemingly disjoint goals of higher hit ratios at reduced access times. Recent research advocates the us...