4586 search results - page 511 / 918 » Computing stable models in parallel |
184
click to vote
ICDCSW
2008
IEEE
16 years 1 months ago
2008
IEEE
Reputation mechanisms are a key technique to trust assessment in large-scale decentralized systems. The effectiveness of reputation-based trust management fundamentally relies on ...
203
click to vote
MSWIM
2006
ACM
16 years 21 days ago
2006
ACM
The simulation of wireless networks has been an important tool for researchers and the industry in the last years. Especially in the field of Mobile Ad Hoc Networking, most curre...
191
click to vote
ISORC
2005
IEEE
16 years 10 days ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
211
click to vote
EUROPAR
2003
Springer
15 years 12 months ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...
187
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...