3831 search results - page 638 / 767 » Dynamic Context Logic |
119
click to vote
SIGCSE
2004
ACM
15 years 10 months ago
2004
ACM
There are a wide variety of ways to present information at the front of a classroom. These include chalk on a blackboard, markers on a whiteboard, pens on transparencies, and comp...
165
Voted
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
The problem of interest is how to dynamically allocate wireless access services in a competitive market which implements a take-it-or-leave-it allocation mechanism. In this paper ...
150
click to vote
BIRTHDAY
2004
Springer
15 years 10 months ago
2004
Springer
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...
136
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
139
Voted
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
Application-specific, parameterized local search algorithms (PLSAs), in which optimization accuracy can be traded off with runtime, arise naturally in many optimization contexts....