12194 search results - page 117 / 2439 » cans 2010 |
DSS
2002
13 years 9 months ago
2002
We identify and address a fundamental general problem which we regard as crucial for the widespread, effective use of decision support systems (DSS) in the future: how can we subs...
ENTCS
2002
13 years 9 months ago
2002
Every endofunctor F of Set has an initial algebra and a final coalgebra, but they are classes in general. Consequently, the endofunctor F of the category of classes that F induces...
ENTCS
2002
13 years 9 months ago
2002
Once you have proved your refinement correct, that is not the end. Real products, and their accompanying specifications, develop over time, with new improved versions having added...
ENTCS
2002
13 years 9 months ago
2002
Dynamic analysis (instrumenting programs with code to detect and prevent errors during program execution) can be an effective approach to debugging, as well as an effective means ...
EUROMED
2010
13 years 8 months ago
2010
The traditional sculptures with posture and beauty are created by the fingers of sculptors, and these traditional techniques cannot be replaced by contemporary computer technologie...