21094 search results - page 4073 / 4219 » An experiment using DLV-K |
189
click to vote
CBSE
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we report on a case study of correct automatic assembly of software components. We show the application of our tool (called Synthesis) for correct components assembly...
141
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
The Sequential Assessment Game model of animal contests predicts an evolutionarily stable strategy (ESS) that is a sequence of thresholds for giving up. Simulated evolution experim...
179
click to vote
GRID
2004
Springer
15 years 11 months ago
2004
Springer
— Time sharing between all the users of a Grid is a major issue in cluster and Grid integration. Classical Grid architecture involves a higher level scheduler which submits non o...
180
click to vote
ICMI
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents the Visual Touchpad, a low-cost vision-based input device that allows for fluid two-handed interactions with desktop PCs, laptops, public kiosks, or large wall...
151
click to vote
ICSR
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes a feature modelling technique aimed at modelling the software assets behind a product family. The proposed technique is distinctive in five respects. First, it...