1392 search results - page 9 / 279 » A Calculus for Dynamic Linking |
MOBIMEDIA
2007
13 years 9 months ago
2007
— The error prone nature of wireless links often necessitates the use of a link layer protocol to ensure acceptable application performance. While traditional link layers assume ...
MONET
2008
13 years 6 months ago
2008
While traditional link layer protocols assume that they fully control the underlying link, in contemporary wireless networks the link may be dynamically shared by sessions belongin...
ENTCS
2008
13 years 7 months ago
2008
The interactive theorem prover developed in the KeY project, which implements a sequent calculus for JavaCard Dynamic Logic (JavaCardDL) is based on taclets. Taclets are lightweig...
BIRTHDAY
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. COWS is a recently defined process calculus for specifying and combining service-oriented applications, while modelling their dynamic behaviour.
CORR
2011
Springer
13 years 2 months ago
2011
Springer
We study how the choice of packet scheduling algorithms influences end-to-end performance on long network paths. Taking a network calculus approach, we consider both deterministi...