1392 search results - page 53 / 279 » A Calculus for Dynamic Linking |
ICFP
2006
ACM
14 years 8 months ago
2006
ACM
Dynamic binding and delimited control are useful together in many settings, including Web applications, database cursors, and mobile code. We examine this pair of language feature...
SEFM
2009
IEEE
14 years 3 months ago
2009
IEEE
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate...
ICDCSW
2009
IEEE
13 years 6 months ago
2009
IEEE
Dynamic composition of protocol features allows applications to establish connections with custom communication characteristics. Automatically computing possible compositions and ...
MOBIHOC
2007
ACM
14 years 8 months ago
2007
ACM
A substantial percentage of links in wireless networks, especially low-power ones, is asymmetric. For the low-quality direction of asymmetric links, we observe based on testbed ex...
ICNP
2007
IEEE
14 years 3 months ago
2007
IEEE
— The global Internet routing infrastructure is a large and complex distributed system where routing changes occur constantly. Our objective in this paper is to develop a simple ...