4476 search results - page 724 / 896 » A flexible framework for engineering |
153
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
173
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Fault diagnosis consists in observing behaviours of systems, and in detecting online whether an error has occurred or not. In the context of discrete event systems this problem has...
149
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
Several general purpose benchmark generators are now available in the literature. They are convenient tools in dynamic continuous optimization as they can produce test instances w...
172
click to vote
SEKE
2005
Springer
15 years 12 months ago
2005
Springer
Multi-agent systems have become increasingly mature, but their appearance does not make the traditional OO approach obsolete. On the contrary, OO methodologies can benefit from th...
154
click to vote
SOCO
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The need to use position-dependent parameters often hamdefinition of flexible, extensible, and reusable abstractions for software composition. This observation has led ...