2372 search results - page 177 / 475 » Probabilistic calling context |
106
Voted
STACS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The sharing of content by communities of users (e.g., scientists) in a P2P context remains cumbersome. We argue that main reasons for this is the lack of calculus and alg...
147
Voted
ADBIS
2004
Springer
15 years 8 months ago
2004
Springer
Nowadays, one of the main research issues of great interest is the efficient tracking of mobile objects that enables the effective answering of spatiotemporal queries. This line o...
111
Voted
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...
131
Voted
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
The pi calculus holds the promise of compile-time checks for whether a given program will have the correct interactive behaviour. The theory behind such checks is called bisimulati...
105
Voted
IVA
2001
Springer
15 years 7 months ago
2001
Springer
We describe the architecture of an interactive, “believable” agent with personality, called user agent, which can act on behalf of a user in various multi-user game contexts, w...