Search Results

Enabling Temporal-Aware Contexts for Adaptative Distributed Systems

• Authors : Mouline, Ludovic; Benelallam, Amine; Hartmann, Thomas

Subjects: model-driven engineering; context modelling; action modelling

• Source: SAC 2018: SAC 2018: Symposium on Applied Computing , April 9--13, 2018, Pau, France (2018-04-09)

Record details

Model-based testing of global properties on large-scale distributed systems

• Authors : Sunyé, G.; De Almeida, E. C.; Le Traon, Yves

Subjects: Distributed software; Model-based testing; Software testing

• Source: Information and Software Technology, 56 (7), 749-762 (2014)

Record details

Logic of Events, a framework to reason about distributed systems

• Authors : Bickford, Mark; Constable, Robert L.; Rahli, Vincent

Subjects: Engineering; computing & technology; Computer science

• Source: Languages for Distributed Algorithms Workshop (LADA 2012), January 2012

Record details

The Path to Fault- and Intrusion-Resilient Manycore Systems on a Chip

• Authors : Shoker, Ali; ESTEVES-VERISSIMO, Paulo; VÖLP, Marcus

Subjects: fault and intrusion tolerance; FPGA; hardware

• Source: urn:isbn:9798350325454 ; Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume, DSN-S 2023 (2023); 2023

Record details

Provably Secure Single Sign-on Scheme in Distributed Systems and Networks

• Authors : Yu, Jiangshan; Wang, Guilin; Mu, Yi

Subjects: Engineering; computing & technology; Computer science

• Source: 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2012, Liverpool, United Kingdom, June 25-27, 2012 (2012); 11th IEEE International Conference

Record details

IoTEF: A Federated Edge-Cloud Architecture for Fault-Tolerant IoT Applications

• Authors : Javed, Asad; ROBERT, Jérémy; Heljanko, Keijo

Subjects: Internet of Things; Distributed systems; Edge

• Source: Journal of Grid Computing (2020)

Record details

On a Software-Defined CAN Controller for Embedded Systems

• Authors : Cena, Gianluca; Cibrario Bertolotti, Ivan; HU, Tingting

Subjects: Controller area network (CAN); Industrial control; Real-time distributed systems

• Source: Computer Standards and Interfaces, 63, 43-51 (2019-03)

Record details

RT-ByzCast: Byzantine-Resilient Real-Time Reliable Broadcast

• Authors : Kozhaya, David; DECOUCHANT, Jérémie; VERISSIMO, Paulo

Subjects: Real-time distributed systems; probabilistic losses; reliable broadcast

• Source: IEEE Transactions on Computers, 68 (3) (2019-03-01)

Record details

PISTIS: From a Word-of-Mouth to a Gentleman’s Agreement

• Authors : Kozhaya, David; Decouchant, Jérémie; Rahli, Vincent

Subjects: Real-time distributed systems; probabilistic losses; atomic broadcast

Record details

TRUSTED DISTRIBUTED ARTIFICIAL INTELLIGENCE FOR CRITICAL AND AUTONOMOUS SYSTEMS

• Authors : AĞCA, Muhammed Akif

Subjects: Trusted AI; Distributed Systems; Software Defined Networking (SDN)

Record details