4586 search results - page 586 / 918 » Computing stable models in parallel |
128
click to vote
PODC
2010
ACM
15 years 8 months ago
2010
ACM
We propose a natural generalisation of asynchronous bounded delay (ABD) network models. The commonly used ABD models assume a known bound on message delay. This assumption is ofte...
146
click to vote
EDOC
2009
IEEE
15 years 8 months ago
2009
IEEE
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...
140
click to vote
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
158
click to vote
ICPADS
2000
IEEE
15 years 8 months ago
2000
IEEE
1 Reliable communication in cube-based multicomputers using the extended safety vector concept is studied in this paper. In our approach, each node in a cube-based multicomputer o...
151
click to vote
PODC
2010
ACM
15 years 6 months ago
2010
ACM
The study of complex networks led to the belief that the connectivity of network nodes generally follows a Power-law distribution. In this work, we show that modeling large-scale ...