10051 search results - page 190 / 2011 » A Dynamic Separator Algorithm |
151
Voted
VSTTE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
130
click to vote
KES
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This work presents an analysis of the static Aging operator for different evolutionary algorithms: two immunological algorithms (OptIA and Clonalg), a standard genetic a...
125
click to vote
IWIA
2006
IEEE
15 years 11 months ago
2006
IEEE
The development of a Common Criteria protection profile for high-robustness separation kernels requires explicit modifications of several Common Criteria requirements as well as e...
132
click to vote
ICSM
2002
IEEE
15 years 10 months ago
2002
IEEE
A great deal of work on software maintenance focuses on source code analysis and manipulation. Code is viewed as a static entity that is – more or less – separated from the sy...
126
click to vote
KES
2005
Springer
15 years 10 months ago
2005
Springer
Current techniques for automated composition use a single algorithm, focusing on one aspect of musical generation. In our system we make use of several algorithms, distributed usin...