Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments

Yu Huang; Yiling Yang; Jiannong Cao; Xiaoxing Ma; Xianping Tao; Jian Lu

doi:10.1109/tpds.2011.176

Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments

IEEE Transactions on Parallel and Distributed Systems ◽

10.1109/tpds.2011.176 ◽

2012 ◽

Vol 23 (4) ◽

pp. 744-750 ◽

Cited By ~ 11

Author(s):

Yu Huang ◽

Yiling Yang ◽

Jiannong Cao ◽

Xiaoxing Ma ◽

Xianping Tao ◽

...

Keyword(s):

Pervasive Computing ◽

Runtime Detection ◽

Computing Environments

Download Full-text

Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments

Internetware ◽

10.1007/978-981-10-2546-4_10 ◽

2016 ◽

pp. 211-230

Author(s):

Hong Mei ◽

Jian Lü

Keyword(s):

Pervasive Computing ◽

Runtime Detection ◽

Computing Environments

Download Full-text

Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments

IEEE Transactions on Parallel and Distributed Systems ◽

10.1109/tpds.2012.259 ◽

2013 ◽

Vol 24 (8) ◽

pp. 1546-1555 ◽

Cited By ~ 6

Author(s):

Yiling Yang ◽

Yu Huang ◽

Jiannong Cao ◽

Xiaoxing Ma ◽

Jian Lu

Keyword(s):

Pervasive Computing ◽

Formal Specification ◽

Dynamic Properties ◽

Runtime Detection ◽

Computing Environments

Download Full-text

Developing model for pervasive computing environments based on static-dynamic trust

Journal of Computer Applications ◽

10.3724/sp.j.1087.2009.00149 ◽

2009 ◽

Vol 29 (1) ◽

pp. 149-151 ◽

Cited By ~ 4

Author(s):

Jing XUE ◽

Liang HE ◽

Meng QIU

Keyword(s):

Pervasive Computing ◽

Dynamic Trust ◽

Computing Environments

Download Full-text

A mobile context monitoring platform for pervasive computing environments

5th IEEE International Conference on Digital Ecosystems and Technologies (IEEE DEST 2011) ◽

10.1109/dest.2011.5936591 ◽

2011 ◽

Author(s):

Youngki Lee ◽

Chulhong Min ◽

Younghyun Ju ◽

Saumay Pushp ◽

Junehwa Song

Keyword(s):

Pervasive Computing ◽

Computing Environments ◽

Mobile Context ◽

Monitoring Platform

Download Full-text

A Novel Privacy Preserving Authentication and Access Control Scheme for Pervasive Computing Environments

IEEE Transactions on Vehicular Technology ◽

10.1109/tvt.2006.877704 ◽

2006 ◽

Vol 55 (4) ◽

pp. 1373-1384 ◽

Cited By ~ 78

Author(s):

K. Ren ◽

W. Lou ◽

K. Kim ◽

R. Deng

Keyword(s):

Access Control ◽

Pervasive Computing ◽

Privacy Preserving ◽

Control Scheme ◽

Computing Environments

Download Full-text

The evaluation of Qualitative Assessment Dynamics (QAD) methodology for managing trust in pervasive computing environments

2011 6th International Conference on Pervasive Computing and Applications ◽

10.1109/icpca.2011.6106480 ◽

2011 ◽

Cited By ~ 1

Author(s):

Eva Zupancic ◽

Denis Trcek

Keyword(s):

Pervasive Computing ◽

Qualitative Assessment ◽

Computing Environments

Download Full-text

Trust model based on dynamic policy similarity for pervasive computing environments

2010 2nd International Conference on Computer Engineering and Technology ◽

10.1109/iccet.2010.5485461 ◽

2010 ◽

Cited By ~ 1

Author(s):

Shuai Zeng ◽

Fen Xu ◽

Yang Xin ◽

Yi-xian Yang ◽

Zheng-ming Hu

Keyword(s):

Pervasive Computing ◽

Trust Model ◽

Model Based ◽

Computing Environments ◽

Dynamic Policy

Download Full-text

SCN-SI-021 achieving privacy and access control in pervasive computing environments

Security and Communication Networks ◽

10.1002/sec.283 ◽

2011 ◽

Vol 9 (2) ◽

pp. 94-105 ◽

Cited By ~ 1

Author(s):

Emmanouil Magkos ◽

Panayiotis Kotzanikolaou

Keyword(s):

Access Control ◽

Pervasive Computing ◽

Computing Environments

Download Full-text

A Context-Aware Method for Service Composition in Pervasive Computing Environments

Advances in Computer Science, Environment, Ecoinformatics, and Education - Communications in Computer and Information Science ◽

10.1007/978-3-642-23357-9_22 ◽

2011 ◽

pp. 118-122 ◽

Cited By ~ 1

Author(s):

Chunmiao Gu ◽

Yongsheng Zheng

Keyword(s):

Pervasive Computing ◽

Service Composition ◽

Context Aware ◽

Computing Environments

Download Full-text

Meme Media for the Knowledge Federation Over the Web and Pervasive Computing Environments

Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30502-6_3 ◽

2004 ◽

pp. 33-47 ◽

Cited By ~ 7

Author(s):

Yuzuru Tanaka ◽

Jun Fujima ◽

Makoto Ohigashi

Keyword(s):

Pervasive Computing ◽

Computing Environments ◽

The Web

Download Full-text