2162 search results - page 347 / 433 » A Meta-Notation for Protocol Analysis |
SIGECOM
2005
ACM
15 years 3 months ago
2005
ACM
We determine the communication complexity of the common voting rules. The rules (sorted by their communication complexity from low to high) are plurality, plurality with runoff, ...
AIED
2005
Springer
15 years 3 months ago
2005
Springer
This paper discusses the extensions that we have made to Betty’s Brain teachable agent system to help students learn about dynamic processes in a river ecosystem. Students first ...
FASE
2005
Springer
15 years 3 months ago
2005
Springer
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
IDA
2005
Springer
15 years 3 months ago
2005
Springer
DNA arrays yield a global view of gene expression and can be used to build genetic networks models, in order to study relations between genes. Literature proposes Bayesian network ...
IPOM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Fast Handovers is an enhancement to the Mobile IPv6 protocol, currently specified in an IETF draft, which reduces the handover latency. This can be beneficial to real-t...