4716 search results - page 686 / 944 » Tangible functional programming |
104
click to vote
FMCO
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
EUPROJECTS
2006
Springer
15 years 2 months ago
2006
Springer
This paper examines problems persons with deafblindness have when using computers and it analyses how we can approach these problems in the redesign of a communication tool. A qual...
109
click to vote
EVOW
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. We present the newly developed core concept for the Multidimensional Knapsack Problem (MKP) which is an extension of the classical concept for the one-dimensional case. T...
102
click to vote
GECCO
2006
Springer
15 years 2 months ago
2006
Springer
A genetic algorithm for the longest common subsequence problem encodes candidate sequences as binary strings that indicate subsequences of the shortest or first string. Its fitnes...
103
click to vote
FMCAD
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...