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 …
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 …
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
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 …
in online signature verification. Though human can easily distinguish random forgeries from …
Towards context-aware transaction services
For years, transactional protocols have been defined for particular application needs.
Traditionally, when implementing a transaction service, a protocol is chosen and remains …
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 …
tolerance and adaptivity in distributed, dynamic environments. Unlike typical adaptive …
FLAC: A Robust Failure-Aware Atomic Commit Protocol for Distributed Transactions
In distributed transaction processing, atomic commit protocol (ACP) is used to ensure
database consistency. With the use of commodity compute nodes and networks, failures …
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 …
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 …
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 …
(WSNs). Nevertheless, the programming of sensor nodes is still a time-consuming and …
A component-based approach to compose transaction standards
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 …
by various transaction standards. Among others, we can cite the Object Transaction Service …