FI4FA: A formalism for incompletion, inconsistency, interference and impermanence failures' analysis

B Gallina, S Punnekkat - 2011 37th EUROMICRO Conference …, 2011 - ieeexplore.ieee.org
To architect dependable distributed component-based, transactional systems, failures as
well as their mitigation behaviors must be analyzed. Analysis helps in planning if, where and …

How programs represent reality (and how they don't)

D Ratiu, F Deissenboeck - 2006 13th Working Conference on …, 2006 - ieeexplore.ieee.org
Programming is modeling the reality. Most of the times, the mapping between source code
and the real world concepts are captured implicitly in the names of identifiers. Making these …

DPW approach for random forgery problem in online handwritten signature verification

WD Chang, J Shin - 2008 Fourth International Conference on …, 2008 - ieeexplore.ieee.org
In this paper, we refer a phenomenon of relatively high error rates against random forgeries
in online signature verification. Though human can easily distinguish random forgeries from …

Towards context-aware transaction services

R Rouvoy, P Serrano-Alvarado, P Merle - IFIP International Conference on …, 2006 - Springer
For years, transactional protocols have been defined for particular application needs.
Traditionally, when implementing a transaction service, a protocol is chosen and remains …

A dynamic platform for run-time adaptation

H Pham, JM Paluska, U Saif, C Stawarz… - Pervasive and Mobile …, 2009 - Elsevier
We present a middleware platform for assembling pervasive applications that demand fault-
tolerance and adaptivity in distributed, dynamic environments. Unlike typical adaptive …

FLAC: A Robust Failure-Aware Atomic Commit Protocol for Distributed Transactions

H Pan, QT Ta, M Zhang, YM Chee, G Chen… - arXiv preprint arXiv …, 2023 - arxiv.org
In distributed transaction processing, atomic commit protocol (ACP) is used to ensure
database consistency. With the use of commodity compute nodes and networks, failures …

Promoting levels of openness on component-based adaptable middleware

T da Rocha, AB Arntsen, AK Eidsvik… - Proceedings of the 6th …, 2007 - dl.acm.org
It is widely accepted that middleware is an important architectural element which facilitates
the development of software systems. In this paper we propose a novel approach for …

Analysis and comparison of atomic commit protocols for adaptive usage in wireless sensor networks

C Reinke, N Hoeller, J Neumann… - … on Sensor Networks …, 2010 - ieeexplore.ieee.org
Despite many research in the area of wireless sensor networks (WSNs) in recent years, the
programming of sensor nodes is still time-consuming and tedious. One of the new …

Adaptive atomic transaction support for service migration in wireless sensor networks

C Reinke, N Hoeller… - 2010 Seventh International …, 2010 - ieeexplore.ieee.org
In recent years, much research has been done in the area of wireless sensor networks
(WSNs). Nevertheless, the programming of sensor nodes is still a time-consuming and …

A component-based approach to compose transaction standards

R Rouvoy, P Serrano-Alvarado, P Merle - International Conference on …, 2006 - Springer
This paper tackles the problem of composition of transaction services, which are governed
by various transaction standards. Among others, we can cite the Object Transaction Service …