1392 search results - page 70 / 279 » A Calculus for Dynamic Linking |
114
click to vote
LOGCOM
2007
14 years 11 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
15 years 5 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
16 years 13 days 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
15 years 5 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...
111
click to vote
INFOCOM
2006
IEEE
15 years 6 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...