1392 search results - page 13 / 279 » A Calculus for Dynamic Linking |
TAPSOFT
1991
Springer
14 years 8 days ago
1991
Springer
Abstract. CBS is a simple and natural CCS-like calculus where processes speak one at a time and are heard instantaneously by all others. Speech is autonomous, contention between sp...
DEXAW
2010
IEEE
13 years 10 months ago
2010
IEEE
One possible threat to linked data quality is the lack of knowledge about the dynamics in dependent remote datasets. Linked data consuming applications often need to be aware of ch...
IMC
2007
ACM
13 years 10 months ago
2007
ACM
Multi-hop wireless mesh networks are increasingly being deployed for last-mile Internet access. Typically, network algorithms such as routing, channel assignment and topology cont...
INFOCOM
2002
IEEE
14 years 1 months ago
2002
IEEE
Abstract— We present in this paper an analytical model for the calculation of network load and drop probabilities in a TCP/IP network with general topology. First we formulate ou...
CCS
1997
ACM
14 years 28 days ago
1997
ACM
Dynamic linking is a requirement for portable executable content. Executable content cannot know, ahead of time, where it is going to be executed, nor know the proper operating sy...