11 search results - page 1 / 3 » Formal Specification and Analysis of AFDX Redundancy Managem... |
SAFECOMP
2007
Springer
13 years 11 months ago
2007
Springer
SASO
2007
IEEE
13 years 11 months ago
2007
IEEE
A fundamental problem that confronts decentralized reputation systems is the design of efficient, secure and incentive-compatible mechanisms to gather trust information despite m...
JSW
2008
13 years 5 months ago
2008
- In the Software Product Line approach, product configuration is a key activity in which stakeholders choose features for a product. This activity is critical in the sense that ca...
SIROCCO
2004
13 years 6 months ago
2004
Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with ef...
SIGMOD
2008
ACM
13 years 5 months ago
2008
ACM
Tree pattern queries (TPQs) provide a natural and easy formalism to query tree-structured XML data, and the efficient processing of such queries has attracted a lot of attention. ...