14084 search results - page 2756 / 2817 » A Theory for Game Theories |
CN
1998
13 years 9 months ago
1998
The World Wide Web is becoming increasingly important in the provision of education, as recognised by several high profile UK government reports. Improved tools for developing We...
COMCOM
1998
13 years 9 months ago
1998
Multimedia applications involving digital audio and/or digital video transmissions require strict QoS constraints (end-to-end delay bound, bandwidth availability, packet loss rate...
JACM
2002
13 years 8 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
CHK
1999
13 years 8 months ago
1999
: Niklas Luhmann died in November 1998. He had been elaborating his theory of the society for more than thirty years which has been well received in many quarters of society in the...
IJCV
1998
13 years 8 months ago
1998
The fact that objects in the world appear in different ways depending on the scale of observation has important implications if one aims at describing them. It shows that the not...