✦ LIBER ✦

A method for verifying concurrent Java components based on an analysis of concurrency failures

✍ Scribed by Brad Long; Paul Strooper; Luke Wildman

Publisher: John Wiley and Sons
Year: 2007
Tongue: English
Weight: 204 KB
Volume: 19
Category: Article
ISSN: 1532-0626
DOI: 10.1002/cpe.1063

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Evaluation of a new proposal for an arci

Evaluation of a new proposal for an arcing fault detection method based on wavelet packet analysis

✍ Andoni Lazkano; Jesus Ruiz; Elisabete Aramendi; Luis A. Leturiondo 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 200 KB 👁 1 views

## Abstract This paper presents a new proposal for detection of arcing faults and evaluates the detection rate and the security level of the proposed method. This method is based on analysis of three‐phase unbalanced current, easily accessible feeder 3__I__~0~, using decomposition of the signal by

Phase Diagram for a System of Polydisper

Phase Diagram for a System of Polydisperse Components Consisting of the Precursor of an Epoxy/Diamine Thermoset and a Thermoplastic: Analysis Based on a Lattice Theory Model

✍ Maite Rico; Carmen Ramírez; Belén Montero; Javier Díez; Joaquín López 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 193 KB

## Abstract **Summary:** The miscibility of a thermoplastic modifier with the precursors of an epoxy/diamine thermoset without chemical reaction was studied thermodynamically. The experimental cloud point curve showed a UCST behavior. A model based on the Flory‐Huggins lattice theory and on the Kon