Search results

|document=Document for Publication-Dixit11a.pdf ...e been proposed. In this paper we describe Adaptare - a complete framework for dependable QoS adaptation. We assume that during its lifetime, a system alt

|document=Document for Publication-Brandao2012reliabilityJBCS.pdf ...echniques alone, but possible when they are combined. We advocate the need for thorougher system models, by showing vulnerabilities arising from incomplet

|document=Document for Publication-Craveiro12sapient.pdf |title=Scheduling Analysis Principles and Tool for Time- and Space-Partitioned Systems

...f modifications to be introduced in the RTEMS application production chain for the implementation of AIR-based systems (exemplified through a proof of con

...ization of RTEMS, the Real-Time Executive for Multiprocessor Systems. This document addresses: (i) the AIR architecture specification; (ii) the AIR support to

|document=Document for Publication-Craveiro12hssim.pdf |booktitle=3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2012)

|document=PEI-Cogo12MSc.pdf ... group properties supported by cloud providers or tools, and opportunities for cloud computing players contribute with diversity management area.

|document=Document for Publication-joaosousa2011.pdf |abstract=We present a new algorithm for state machine replication that is built around a leader-driven consensus pr

|document=Document for Publication-joaosousa2010.pdf ...n, and also show expected values of latency in the state transfer protocol for states different sizes. Finally, as far as we know, this work is the first

|document=CostaPBC11.pdf ...on Byzantine fault-tolerance paradigms. We believe this cost is acceptable for critical applications that require that level of fault tolerance.

|document=Document for Publication-Correia2012-CoC.pdf |abstract=MapReduce is a framework for processing large data sets largely used in cloud computing. MapReduce imple

|document=Document for Publication-PedroCosta 2013.pdf |abstract=MapReduce is often used for critical data processing, e.g., in the context of scientific or financial s

|document=Document for Publication-Padhy2011MiddlewarePoster.pdf |title=Trustworthy and resilient monitoring system for cloud infrastructures

|document=Document for Publication-Dixit2012SAC.pdf |abstract=Algorithms for solving distributed systems problems often use timeouts as a means to achie

|document=Document for Publication-Kreutz2012DAIS.pdf |title=A Trustworthy and Resilient Event Broker for Monitoring Cloud Infrastructures

|document=Document for Publication-Nezhad2012DSN-FA.pdf |title=A Multi-Layered Architecture for a Secure Virtualization Environment

|document=Document for Publication-garcia msc11.pdf ... vulnerabilities occur in more than one OS. We found this number to be low for several combinations of OS.

|document=Document for Publication-Casimiro2012DCDV.pdf |abstract=Cloud infrastructures play an increasingly important role for telecom operators, because they enable internal consolidation of resources

|document=Document for Publication-garcia12 diversity.pdf

|document=Document for Publication-Marques2012ASCOMS.pdf