1392 search results - page 68 / 279 » A Calculus for Dynamic Linking |
128
click to vote
INFOCOM
2000
IEEE
15 years 8 months ago
2000
IEEE
— While packet scheduling for wired links is a maturing area, scheduling of wireless links is less mature. A fundamental difference between wired and wireless links is that wirel...
144
Voted
VTC
2006
IEEE
15 years 10 months ago
2006
IEEE
—Disruption Tolerant Networks (DTNs) are emerging solutions to networks that experience frequent network partitions and large end-to-end delays. In this paper, we study how to pr...
125
click to vote
HT
2000
ACM
15 years 8 months ago
2000
ACM
This paper presents the principles of ontology-supported and ontology-driven conceptual navigation. Conceptual navigation realizes the independence between resources and links to ...
119
Voted
PLDI
1998
ACM
15 years 8 months ago
1998
ACM
A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts o...
231
Voted
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...