5615 search results - page 899 / 1123 » On the Computational Capabilities of Several Models |
194
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last decade [21,20,3,15,12,19,14]. The high expressive power of MSCs renders many basic ...
168
click to vote
FOSSACS
2007
Springer
16 years 1 months ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...
179
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
We explore the use of the developmental environment as a spatial constraint on a model of Artificial Embryogeny, applied to the growth of structural forms. A Deva model is used t...
193
click to vote
MIDDLEWARE
2007
Springer
16 years 1 months ago
2007
Springer
Large-scale, value-added Internet services composed of independent cooperating or competing services will soon become common place. Several groups have addressed the performance, c...
207
click to vote
PVM
2007
Springer
16 years 1 months ago
2007
Springer
The MPI remote-memory access (RMA) operations provide a different programming model from the regular MPI-1 point-to-point operations. This model is particularly appropriate for ca...