✦ LIBER ✦

Trends and Challenges in Formal Specification and Verification of Services Composition in Ambient Assisted Living Applications

✍ Scribed by Hilia, Mohamed; Chibani, Abdelghani; Djouani, Karim

Book ID: 122882228
Publisher: Elsevier
Year: 2013
Tongue: English
Weight: 309 KB
Volume: 19
Category: Article
ISSN: 1877-0509
DOI: 10.1016/j.procs.2013.06.072

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Communications in Computer and Informat

[Communications in Computer and Information Science] Computer Applications for Database, Education, and Ubiquitous Computing Volume 352 || Semantic Web Service Composition Using Formal Verification Techniques

✍ Kim, Tai-hoon; Ma, Jianhua; Fang, Wai-chi; Zhang, Yanchun; Cuzzocrea, Alfredo 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 196 KB

[Lecture Notes in Computer Science] Data

[Lecture Notes in Computer Science] Database and Expert Systems Applications Volume 7446 || Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification

✍ Liddle, Stephen W.; Schewe, Klaus-Dieter; Tjoa, A Min; Zhou, Xiaofang 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 73 KB

[Lecture Notes in Computer Science] Leve

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification, and Validation Volume 6416 || A Case Study in Model-Based Adaptation of Web Services

✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 492 KB

This Volume Contains The Conference Proceedings Of The 4th International S- Posium On Leveraging Applications Of Formal Methods, Veri?cation And Vali- Tion, Isola 2010, Which Was Held In Greece (heraklion, Crete) October 18–21, 2010, And Sponsored By Easst. Following The Tradition Of Its Forerunners

[Lecture Notes in Computer Science] Dist

[Lecture Notes in Computer Science] Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living Volume 5518 || Engineering Web Service Markets for Federated Business Applications

✍ Omatu, Sigeru; Rocha, Miguel P.; Bravo, José; Fernández, Florentino; Corchado, E 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 180 KB

[Lecture Notes in Computer Science] Bioi

[Lecture Notes in Computer Science] Bioinspired Applications in Artificial and Natural Computation Volume 5602 || An Ambient Assisted Living System for Telemedicine with Detection of Symptoms

✍ Mira, José; Ferrández, José Manuel; Álvarez, José R.; de la Paz, Félix; Toledo, 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 441 KB

[Lecture Notes in Computer Science] Java

[Lecture Notes in Computer Science] Java on Smart Cards:Programming and Security Volume 2041 || Formal Specification and Verification of Java Card’s Application Identifier Class

✍ Attali, Isabelle; Jensen, Thomas 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 156 KB