1392 search results - page 63 / 279 » A Calculus for Dynamic Linking |
123
click to vote
VTC
2010
IEEE
15 years 2 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...
127
click to vote
ISAMI
2010
15 years 1 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 ...
141
click to vote
TGC
2007
Springer
15 years 10 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...
109
click to vote
ECOOP
2007
Springer
15 years 10 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...
142
click to vote
SENSYS
2003
ACM
15 years 9 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 ...