47 search results - page 3 / 10 » Systematic Correct Construction of Self-stabilizing Systems:... |
ICDCSW
2008
IEEE
14 years 1 days ago
2008
IEEE
Automated addition of fault-tolerance to existing programs is highly desirable, as it allows the designer to focus on the system behavior in the absence of faults and leave the fa...
SAFECOMP
2005
Springer
13 years 11 months ago
2005
Springer
Event trees are a popular technique for modelling accidents in system safety analyses. Bayesian networks are a probabilistic modelling technique representing influences between unc...
ELECTRONICMARKETS
2010
13 years 3 months ago
2010
We argue that certain theoretical commitments that underpin much existing Interorganisational Information Systems (IOIS) research at small scales become untenable when IOIS are st...
IJCNLP
2005
Springer
13 years 11 months ago
2005
Springer
Corpus-based stochastic language models have achieved significant success in speech recognition, but construction of a corpus pertaining to a specific application is a difficult ta...
DSD
2007
IEEE
13 years 5 months ago
2007
IEEE
The universal underlying assumption made today is that Systems on chip must maintain 100% correctness regardless of the application. This work advocates the concept that some appl...