1128 search results - page 127 / 226 » Little Engines of Proof |
114
Voted
ICSM
2002
IEEE
15 years 5 months ago
2002
IEEE
During maintenance, systems are updated to correct faults, improve functionality, and adapt the software to changes in its execution environment. The typical softwareupdate proces...
120
click to vote
GECCO
2010
Springer
15 years 5 months ago
2010
Springer
We report the formulation and implementation of a genetic algorithm to address multi-objective optimisation of solar gain to buildings with the goal of minimising energy consumpti...
RE
2001
Springer
15 years 5 months ago
2001
Springer
Little guidance and few methods are available to refine a set of software requirements into an architecture satisfying those requirements. Part of the challenge stems from the fac...
80
Voted
APSEC
2000
IEEE
15 years 5 months ago
2000
IEEE
Current object-oriented formalisms, such as UML, focus on describing class models and use instance models only for depicting scenarios. Little attention is being devoted to defini...
97
Voted
EUROMICRO
2000
IEEE
15 years 5 months ago
2000
IEEE
The WWW makes learning materials widely accessible and provides an environment where people can learn across time and space. However, the simple read-only information structure on...