✦ LIBER ✦

Style-based modeling and verification of fault tolerance service oriented architectures

✍ Scribed by Vahid Rafe; Farzaneh Mahdian

Book ID: 108255529
Publisher: Elsevier
Year: 2011
Tongue: English
Weight: 237 KB
Volume: 3
Category: Article
ISSN: 1877-0509
DOI: 10.1016/j.procs.2010.12.159

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Style-based modeling and refinement of s

Style-based modeling and refinement of service-oriented architectures

✍ Luciano Baresi; Reiko Heckel; Sebastian Thöne; D´aniel Varr´o 📂 Article 📅 2006 🏛 Springer-Verlag 🌐 English ⚖ 954 KB

A service-oriented architecture for inte

A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks

✍ Pedro T Monteiro; Estelle Dumas; Bruno Besson; Radu Mateescu; Michel Page; Ana T 📂 Article 📅 2009 🏛 BioMed Central 🌐 English ⚖ 940 KB

An architecture for developing service-o

An architecture for developing service-oriented and component-based environmental models

✍ Petraq Papajorgji; Howard W Beck; Jose Luis Braga 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 438 KB

Verification of Web Service Compositions

Verification of Web Service Compositions: An Operationalization of Correctness and a Requirements Framework for Service-oriented Modeling Techniques

✍ Maximilian Röglinger 📂 Article 📅 2009 🏛 SP Gabler Verlag ⚖ 494 KB

Design and Implementation of Web-based D

Design and Implementation of Web-based Discharge Summary Note Based on Service-Oriented Architecture

✍ Chi-Huang Chen; Sung-Huai Hsieh; Yu-Shuan Su; Kai-Ping Hsu; Hsiu-Hui Lee; Feipei 📂 Article 📅 2010 🏛 Springer US 🌐 English ⚖ 450 KB

Integration and SDL-based modelling of g

Integration and SDL-based modelling of generic UMTS handover service architecture and IN

✍ A. Alonistioti; P. Kostarakis 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 155 KB 👁 1 views

Standardization activities for developing functional and network architecture(s) for third generation mobile communication systems are underway within ETSI and ITU. Intelligent network (IN) features are part of a trend for the development of the universal mobile telecommunication system (UMTS) and f