13397 search results - page 261 / 2680 » From Static Distributed Systems to Dynamic Systems |
144
click to vote
PPAM
2007
Springer
15 years 10 months 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...
137
click to vote
ACMACE
2004
ACM
15 years 9 months ago
2004
ACM
We introduce a multi-agent framework to generate reports of players' activities within multi-player computer games so that other players who are currently unable to participa...
147
click to vote
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
We propose that the trust an agent places in another agent declaratively captures an architectural connector between the two agents. We formulate trust as a generic modality expre...
135
click to vote
CCR
2004
15 years 3 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
114
click to vote
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
A new approach to the configuration and operation of electrical distribution networks is proposed. Traditionally, the medium-voltage part of the electrical grid is operated in a c...