5615 search results - page 212 / 1123 » On the Computational Capabilities of Several Models |
253
click to vote
SPIN
2004
Springer
16 years 16 days ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
192
click to vote
HPDC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we introduce the Join-Elect-Leave (JEL) model, a simple yet powerful model for tracking the resources participating in an application. This model is based on the co...
200
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 ...
200
click to vote
SCIA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The accuracy of data classification methods depends considerably on the data representation and on the selected features. In this work, the elastic net model selection i...
236
click to vote
EUROPAR
2003
Springer
16 years 12 days 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...