696 search results - page 83 / 140 » Explaining abstract counterexamples |
141
Voted
ARTQOS
2003
Springer
15 years 7 months ago
2003
Springer
We study what kind of differentiation can be achieved using DiffServ without admission control and using a relative services approach, i.e. the rate of the flow should be in propor...
138
click to vote
FC
2000
Springer
15 years 7 months ago
2000
Springer
Every novel cooperative arrangement of mutually suspicious parties interacting electronically -- every smart contract -- effectively requires a new cryptographic protocol. However,...
129
click to vote
SAS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract We carry out an experimental analysis for two of the design dimensions of flow-insensitive points-to analysis for C: polymorphic versus monomorphic and equality-based vers...
156
click to vote
BRAIN
2010
Springer
15 years 4 months ago
2010
Springer
Cognitive informatics studies the natural intelligence and the brain from a theoretical and a computational approach, which rigorously explains the ms of the brain by a fundamental...
120
click to vote
JETAI
2006
15 years 3 months ago
2006
hin an abstract microworld of analogy problems. This approach differs from most other models of analogy in its insistence that concepts acquire their semantics from within the syst...