2328 search results - page 330 / 466 » Component Frameworks - A Case Study |
112
click to vote
TARK
2005
Springer
15 years 10 months ago
2005
Springer
Two natural strategy elimination procedures have been studied for strategic games. The first one involves the notion of (strict, weak, etc) dominance and the second the notion of...
158
click to vote
CTRSA
2003
Springer
15 years 10 months ago
2003
Springer
In this paper, we present a general framework for evaluating the performance characteristics of block cipher structures composed of S-boxes and Maximum Distance Separable (MDS) ma...
159
click to vote
CSL
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ...
123
Voted
IFM
1999
Springer
15 years 9 months ago
1999
Springer
: Some of the shortcomings of using refinement alone as the means of passing from high level simple models to actual detailed implementations are reviewed. Retrenchment is presente...
132
Voted
CASES
2008
ACM
15 years 6 months ago
2008
ACM
Power, energy, and thermal concerns have constrained embedded systems designs. Computing capability and storage density have increased dramatically, enabling the emergence of hand...