1392 search results - page 70 / 279 » A Calculus for Dynamic Linking |
LOGCOM
2007
13 years 8 months ago
2007
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommoda...
EWSA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
KDD
2009
ACM
14 years 9 months ago
2009
ACM
Social networks have become a major focus of research in recent years, initially directed towards static networks but increasingly, towards dynamic ones. In this paper, we investi...
INFOVIS
2003
IEEE
14 years 2 months ago
2003
IEEE
Dynamic queries facilitate rapid exploration of information by real-time visual display of both query formulation and results. Dynamic query sliders are linked to the main visuali...
INFOCOM
2006
IEEE
14 years 3 months ago
2006
IEEE
— We design network topologies and routing strategies which optimize several measures simultaneously: low cost, small routing diameter , bounded degree and low congestion. This s...