Sciweavers

1122 search results - page 159 / 225
» Modelling Cooperative Multi-agent Systems
Sort
View
JPDC
2006
123views more  JPDC 2006»
15 years 4 months ago
Data redistribution and remote method invocation for coupled components
With the increasing availability of high-performance massively parallel computer systems, the prevalence of sophisticated scientific simulation has grown rapidly. The complexity o...
Felipe Bertrand, Randall Bramley, David E. Bernhol...
TGC
2007
Springer
15 years 10 months ago
Replicating Web Services for Scalability
Web service instances are often replicated to allow service provision to scale to support larger population sizes of users. However, such systems are difficult to analyse because t...
Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mi...
CSCWD
2001
Springer
15 years 8 months ago
Supporting Group Awareness in Collaborative Design
Different from multi-user database management systems, CSCW system must support group awareness explicitly, namely that participants should perceive the presence of each other dur...
Yan Liu, Yuanchun Shi, Guangyou Xu
FUIN
2008
119views more  FUIN 2008»
15 years 4 months ago
Modeling Communication with Synchronized Environments
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
Tiberiu Seceleanu, Axel Jantsch
QEST
2007
IEEE
15 years 10 months ago
Stochastic Game Logic
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
Christel Baier, Tomás Brázdil, Marcu...