A Middleware Architecture for Safety Critical Ambient Intelligence Applications-Reference-Cited by-同舟云学术

A Middleware Architecture for Safety Critical Ambient Intelligence Applications

Published:2010 Issue: Volume: Page:26-37
ISSN:0302-9743
Container-title:Smart Spaces and Next Generation Wired/Wireless Networking
language:
Short-container-title:

Author:

Coronato Antonio,De Pietro Giuseppe

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-14891-0_3

Reference18 articles.

1. Artho, C., et al.: Combining test case generation and runtime verification. Theor. Computer Science 336 (2005)

2. Campbell, R., Ranganathan, A.: Provably Correct Pervasive Computing Environments. In: Proc. of PerCom 2008 (2008)

3. Cardelli, L., Gordon, A.D.: Mobile Ambients. Theor. Computer Science (2000)

4. Cook, J., Augusto, J.C., Jakkula, V.R.: Ambient Intelligence: Technologies, applications, and opportunities. Pervasive and Mobile Computing 5(4) (2009)

5. Coronato, A., De Pietro, G.: Formal Specification of Wireless and Pervasive Healthcare Applications. ACM Transactions on Embedded Computing Systems (to appear in the SI on Wireless Healthcare)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Characterization and Classification of Existing Ambient Assisted Living Systems: A Systematic Literature Review;Ambient Assisted Living;2015-05-29

2. Personas and Scenarios Based on Functioning and Health Conditions;Advances in Systems Analysis, Software Engineering, and High Performance Computing;2015

3. Ambient Assisted Living Healthcare Frameworks, Platforms, Standards, and Quality Attributes;Sensors;2014-03-04

4. SimPal;ACM SIGAPP Applied Computing Review;2013-12