Sciweavers

7080 search results - page 957 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
SSS
2005
Springer
119views Control Systems» more  SSS 2005»
15 years 11 months ago
Self-stabilization of Byzantine Protocols
Awareness of the need for robustness in distributed systems increases as distributed systems become integral parts of day-to-day systems. Self-stabilizing while tolerating ongoing ...
Ariel Daliot, Danny Dolev
FAST
2008
15 years 8 months ago
Parity Lost and Parity Regained
RAID storage systems protect data from storage errors, such as data corruption, using a set of one or more integrity techniques, such as checksums. The exact protection offered by...
Andrew Krioukov, Lakshmi N. Bairavasundaram, Garth...
ICCBSS
2005
Springer
15 years 11 months ago
Specifying Interaction Constraints of Software Components for Better Understandability and Interoperability
A vital issue in the correct use of commercial-off-the-shelf (COTS) components is the proper understanding of their functionality, quality attributes and ways of operation. Traditi...
Yan Jin, Jun Han
CHI
2005
ACM
16 years 6 months ago
Pollen: promoting the exchange of meaningful objects
One of the most trying aspects of growing old is the loss of loved ones. Older people often experience depression as a result of this reality. Without regular contact from friends...
Stefanie Danhope-Smith, Payaal Patel
ICFP
2007
ACM
16 years 6 months ago
Adding delimited and composable control to a production programming environment
Operators for delimiting control and for capturing composable continuations litter the landscape of theoretical programming language research. Numerous papers explain their advant...
Matthew Flatt, Gang Yu, Robert Bruce Findler, Matt...