1392 search results - page 63 / 279 » A Calculus for Dynamic Linking |
VTC
2010
IEEE
13 years 7 months ago
2010
IEEE
: This paper presents a link level analysis of the rate and energy efficiency performance of the LTE downlink considering the unitary codebook based precoding scheme. In a multi-us...
ISAMI
2010
13 years 6 months ago
2010
Experience sampling techniques can be used to study user experiences with products in a natural setting and over time. Nowadays, researchers can use selective sampling to link the ...
TGC
2007
Springer
14 years 3 months ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
ECOOP
2007
Springer
14 years 3 months ago
2007
Springer
Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ? →. Gradual typin...
SENSYS
2003
ACM
14 years 2 months ago
2003
ACM
The dynamic and lossy nature of wireless communication poses major challenges to reliable, self-organizing multihop networks. These non-ideal characteristics are more problematic ...