11716 search results - page 364 / 2344 » Computable symbolic dynamics |
195
click to vote
PPAM
2007
Springer
16 years 27 days ago
2007
Springer
Lattice-Boltzmann (LB) methods are a well-known technique in the context of computational fluid dynamics. By nature, they can easily be parallelized but their adaptation to the Gr...
177
click to vote
EDO
2006
Springer
15 years 10 months ago
2006
Springer
We present a new publish-subscribe middleware called REDS (REconfigurable Dispatching System) designed to tolerate dynamic reconfigurations of the dispatching infrastructure, like...
181
click to vote
ICIAP
2007
ACM
16 years 6 months ago
2007
ACM
In this paper, we propose a computational scheme named an interval-based linear hybrid dynamical system (ILHDS) to represent complex dynamic events based on temporal intervals, ea...
183
click to vote
SOCO
2007
Springer
16 years 27 days ago
2007
Springer
This paper explores service composition in pervasive environments with a focus on dynamic service selection. Service orientation offers the dynamism and loose coupling needed in pe...
142
click to vote
ESSLLI
1999
Springer
15 years 11 months ago
1999
Springer
In this paper I take a dynamic view in the spirit of the update semantics by Veltman (1996) on the first–order model construction procedure presented by Manthey and Bry (1988)....