2015 search results - page 113 / 403 » Some Observations on Indifferentiability |
87
Voted
IWSAS
2001
Springer
15 years 5 months ago
2001
Springer
: Self-adaptive software systems use observations of their own behavior, and that of their environment, to select and enact adaptations in accordance with some objective(s). This a...
88
Voted
IMPERIAL
1994
15 years 4 months ago
1994
The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schema...
BIRTHDAY
2004
Springer
15 years 4 months ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...
94
Voted
FMCO
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a...
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
In this work the performance of several local search and metaheuristic methods is compared to previously reported work using evolutionary algorithms. The results show that while m...