11129 search results - page 1622 / 2226 » Modeling Search Computing Applications |
243
click to vote
MIDDLEWARE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Developing distributed multiplayer games for ad-hoc networks is challenging. Consistency of the replicated shared state is hard to ensure at a low cost. Current consisten...
182
click to vote
SG
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We propose a meta user interface to design the user interface to tune vector-valued parameters of a given parametrized model. In our framework, the user deļ¬nes a desire...
173
click to vote
ICNP
2005
IEEE
16 years 25 days ago
2005
IEEE
By allowing end hosts to make routing decisions at the application level, different overlay networks may unintentionally interfere with each other. This paper describes how multip...
184
click to vote
LICS
2005
IEEE
16 years 24 days ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
199
click to vote
RTAS
2005
IEEE
16 years 24 days ago
2005
IEEE
No one middleware communication model completely solves the problem of ensuring schedulability in every DRE system. Furthermore, there have been few studies to date of the trade-o...