Busque entre los 166366 recursos disponibles en el repositorio
Mostrar el registro sencillo del ítem
dc.date.accessioned | 2012-09-17T16:53:07Z | |
dc.date.available | 2012-09-17T16:53:07Z | |
dc.date.issued | 2009 | |
dc.identifier.uri | http://sedici.unlp.edu.ar/handle/10915/21062 | |
dc.description.abstract | En este artículo, presentamos una formalización de fallas y sistemas tolerantes a fallas basada en un nuevo formalismo denominado sistemas reactivos de transiciones etiquetadas de estados. La formalización difiere de propuestas anteriores en varios aspectos: (i) separa la descripción del sistema de aquella asociada con el comportamiento de la falla (la cual es superimpuesta sobre el comportamiento del sistema), (ii) provee un significado preciso de la noción de "sistema tolerante a fallas", la cual es dependiente de falla, y requiere una especificación de requisitos del sistema. | es |
dc.format.extent | 850-859 | es |
dc.language | es | es |
dc.subject | Fault tolerance | es |
dc.title | Hacia una formalizaciónon de sistemas tolerantes a fallas basada en grafos reactivos | es |
dc.type | Objeto de conferencia | es |
sedici.creator.person | Acosta, Araceli | es |
sedici.creator.person | Aguirre, Nazareno Matías | es |
sedici.description.note | VI Workshop Ingeniería de Software (WIS) | es |
sedici.subject.materias | Ciencias Informáticas | es |
sedici.description.fulltext | true | es |
mods.originInfo.place | Red de Universidades con Carreras en Informática (RedUNCI) | es |
sedici.subtype | Objeto de conferencia | es |
sedici.rights.license | Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) | |
sedici.rights.uri | http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
sedici.date.exposure | 2009-10 | |
sedici.relation.event | XV Congreso Argentino de Ciencias de la Computación | es |
sedici.description.peerReview | peer-review | es |