2661 search results - page 178 / 533 » Model Checking Performability Properties |
184
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...
185
click to vote
DEBS
2008
ACM
15 years 8 months ago
2008
ACM
Several new Complex Event Processing (CEP) engines have been recently released, many of which are intended to be used in performance sensitive scenarios - like fraud detection, tr...
142
click to vote
DATE
2007
IEEE
16 years 25 days ago
2007
IEEE
Because of its excellent bit-error-rate performance, the Low-Density Parity-Check (LDPC) decoding algorithm is gaining increased attention in communication standards and literatur...
178
click to vote
ENTCS
2006
15 years 6 months ago
2006
Properties such as logging, persistence, debugging, tracing, distribution, performance monitoring and exception handling occur in most programming paradigms and are normally very ...
187
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Recently, mass spectrometry data have been mined using a genetic algorithm to produce discriminatory models that distinguish healthy individuals from those with cancer...