Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Filter

Your Filters

Content Provider : Supplemental Index Publication : entcs Format : Reviews Filter by : Subject

Reset filters

Item request has been placed!

Item request cannot be made.

Processing Request

Periodical

SFERA: A Simulation Framework for the Performance Evaluation of Restart Algorithms in Service-Oriented Systems.

Authors : Danilkina, Alexandra; Reinecke, Philipp; Wolter, Katinka

Subjects: COMPUTER simulation; PERFORMANCE evaluation; COMPUTER algorithms

Source: ENTCS: Electronic Notes in Theoretical Computer Science; Jan2013, Vol. 291, p3-14, 12p

Record details

Read More Add to Saved list

Periodical

Quantum Fault Tolerance in Systems with Restricted Control.

Authors : Fitzsimons, Joseph; Twamley, Jason

Subjects: FAULT tolerance (Engineering); QUANTUM theory; CONTROL theory (Engineering)

Source: ENTCS: Electronic Notes in Theoretical Computer Science; Dec2009, Vol. 258 Issue 2, p35-49, 15p

Record details

Read More Add to Saved list

Periodical

Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance.

Authors : Castro, Pablo F.; Maibaum, T.S.E.

Subjects: DEONTIC logic; FAULT tolerance (Engineering); LEGAL reasoning

Source: ENTCS: Electronic Notes in Theoretical Computer Science; Dec2009, Vol. 258 Issue 2, p17-34, 18p

Record details

Read More Add to Saved list

Periodical

Weakest Invariant Generation for Automated Addition of Fault-Tolerance.

Authors : Abujarad, Fuad; Kulkarni, Sandeep S.

Subjects: FAULT tolerance (Engineering); MACHINE theory; MATHEMATICAL symmetry

Source: ENTCS: Electronic Notes in Theoretical Computer Science; Dec2009, Vol. 258 Issue 2, p3-15, 13p

Record details

Read More Add to Saved list

Periodical

Formal Model–Driven Design of Distributed Algorithms.

Authors : Kühnrich, Morten

Subjects: DISTRIBUTED algorithms; MODEL-driven software architecture; INTEGRATED software

Source: ENTCS: Electronic Notes in Theoretical Computer Science; Sep2009, Vol. 251, p49-64, 16p

Record details

Read More Add to Saved list

Periodical

Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation.

Authors : Koziolek, Heiko; Firus, Viktoria

Subjects: FAULT tolerance (Engineering); COMPUTER software; SOFTWARE architecture

Source: ENTCS: Electronic Notes in Theoretical Computer Science; May2007, Vol. 176 Issue 2, p69-87, 19p

Record details

Read More Add to Saved list

Periodical

Architecting Fault-tolerant Component-based Systems: from requirements to testing.

Authors : Bucchiarone, Antonio; Muccini, Henry; Pelliccione, Patrizio

Subjects: FAULT tolerance (Engineering); FAULT-tolerant computing; SYSTEMS design

Source: ENTCS: Electronic Notes in Theoretical Computer Science; Feb2007, Vol. 168, p77-90, 14p

Record details

Read More Add to Saved list

Periodical

Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking.

Authors : Gnesi, S.; Lenzini, G.; Martinelli, F.

Subjects: FAULT tolerance (Engineering); SYSTEMS design; CALCULUS

Source: ENTCS: Electronic Notes in Theoretical Computer Science; Feb2005, Vol. 118, p57-70, 14p

Record details

Read More Add to Saved list

Periodical

Performing integrated system tests using malicious component insertion.

Authors : Patrikakis, Charalampos; Kalamaris, Thomas; Kakavas, Vaios

Subjects: FAULT tolerance (Engineering); RELIABILITY in engineering; COMPUTER software

Source: ENTCS: Electronic Notes in Theoretical Computer Science; Sep2003, Vol. 82 Issue 6, p1-11, 11p

Record details

Read More Add to Saved list