416 search results - page 33 / 84 » Enough of Processes - Lets do Practices |
MOBIQUITOUS
2005
IEEE
15 years 3 months ago
2005
IEEE
Mobile Ad hoc NETworks (MANETs) provide a lot of promise for many practical applications. However, MANETs are vulnerable to a number of attacks due to its autonomous nature. DoS/D...
LICS
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
117
click to vote
LADC
2011
Springer
14 years 16 days ago
2011
Springer
—We compare in an analytical way two leader-based and decentralized algorithms (that is, algorithms that do not use a leader) for Byzantine consensus with strong validity. We sho...
73
Voted
WICSA
2008
14 years 11 months ago
2008
During the last decades software architecture has become increasingly important for companies creating competitive product structures. Recently more and more attention has also be...
79
Voted
IFIP13
2004
14 years 11 months ago
2004
: The failure of a safety-critical system, though undesirable, is often a source of valuable lessons that can help prevent future failures. Current analysis practices do not always...