Detection of behavioral contextual properties in asynchronous pervasive computing environments

Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS

Volumn , Issue , 2010, Pages 75-82

  Huang, Yu ^a   Yu, Jianping ^a   Cao, Jiannong ^b   Tao, Xianping ^a  

^a NANJING UNIVERSITY   (China)

^b HONG KONG POLYTECHNIC UNIVERSITY   (Hong Kong)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONY; BEHAVIORAL PROPERTIES; CONCEPT OF TIME; CONTEXT AWARE APPLICATIONS; CONTEXT AWARE MIDDLEWARE; CONTEXT- AWARENESS; EVALUATION RESULTS; GLOBAL CLOCKS; ON-THE-FLY; OPEN-SOURCE; PERVASIVE COMPUTING ENVIRONMENT; TEMPORAL EVOLUTION; VECTOR CLOCKS;

ALGORITHMS; COMPUTER SYSTEMS; MIDDLEWARE;

UBIQUITOUS COMPUTING;

EID: 79951727843     PISSN: 15219097     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICPADS.2010.24     Document Type: Conference Paper

References (21)

1. M. Roman, C. Hess, R. Cerqueira, A. Ranganathan, R. H. Campbell, and K. Nahrstedt, "A middleware infrastructure for active spaces," IEEE Pervasive Computing, vol. 1, no. 4, pp. 74-83, 2002. (Pubitemid 44939963)
2. Y. Huang, J. Cao, B. Jin, X. Tao, J. Lu, and Y. Feng, "Flexible cache consistency maintenance over wireless ad hoc networks," IEEE Transactions on Parallel and Distributed Systems, forthcoming.
3. A. Dey, G. Abowd, and D. Salber, "A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications," Human-Computer Interaction, vol. 16, pp. 97-166, Feb. 2001. (Pubitemid 34216582)
4. K. Henricksen and J. Indulska, "A software engineering framework for context-aware pervasive computing," in Proc. IEEE International Conference on Pervasive Computing and Communications (PERCOM'04), Orlando, Florida, USA, Mar. 2004, pp. 77-86.
5. C. Xu and S. C. Cheung, "Inconsistency detection and resolution for context-aware middleware support," in Proc. ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE'05), Lisbon, Portugal, Sep. 2005, pp. 336-345. (Pubitemid 43218844)
6. C. Xu, S. C. Cheung, and W. K. Chan, "Incremental consistency checking for pervasive context," in Proc. International Conference on Software Engineering (ICSE'06), Shanghai, China, May 2006, pp. 292- 301. (Pubitemid 46600926)
7. Y. Bu, T. Gu, X. Tao, J. Li, S. Chen, and J. Lu, "Managing quality of context in pervasive computing," in Proc. International Conference on Quality Software (QSIC'06), Beijing, China, Oct. 2006, pp. 193-200. (Pubitemid 46948627)
8. Y. Bu, S. Chen, J. Li, X. Tao, and J. Lu, "Context consistency management using ontology based model," in Proc. Current Trends in Database Technology (EDBT'06), Munich, Germany, Mar. 2006, pp. 741-755.
9. Y. Huang, X. Ma, X. Tao, J. Cao, and J. Lu, "A probabilistic approach to consistency checking for pervasive context," in Proc. IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC'08), Shanghai, China, Dec. 2008, pp. 387-393.
10. Y. Huang, X. Ma, J. Cao, X. Tao, and J. Lu, "Concurrent event detection for asynchronous consistency checking of pervasive context," in Proc. IEEE International Conference on Pervasive Computing and Communications (PERCOM'09), Galveston, Texas, USA, Mar. 2009.
11. O. Babaǒglu and M. Raynal, "Specification and verification of dynamic properties in distributed computations," J. Parallel Distrib. Comput., vol. 28, no. 2, pp. 173-185, 1995.
12. L. Kaveti, S. Pulluri, and G. Singh, "Event ordering in pervasive sensor networks," in Proc. IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOMW'09), Galveston, US, Mar. 2009, pp. 604-609.
13. M. Sama, D. S. Rosenblum, Z. Wang, and S. Elbaum, "Model-based fault detection in context-aware adaptive applications," in Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering (SIGSOFT'08/FSE-16). New York, NY, USA: ACM, 2008, pp. 261-271.
14. L. Lamport, "Time, clocks, and the ordering of events in a distributed system," Commun. ACM, vol. 21, no. 7, pp. 558-565, 1978. (Pubitemid 8615486)
15. Mipa - middleware infrastructure for predicate detection in asynchronous environments. [Online]. Available: http://mipa.googlecode.com/.
16. Z. Wu, X. Tao, and J. Lu, "An ontology based dynamic context model," Frontiers of Computer Science and Technology, vol. 2, no. 4, pp. 356- 367, 2008.
17. F. Mattern, "Virtual time and global states of distributed systems," in Proc. International Workshop on Parallel and Distributed Algorithms, Holland, 1989, pp. 215-226.
18. C. J. Fidge, "Partial orders for parallel debugging," in Proc. ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, Madison, Wisconsin, US, May 1988, pp. 183-194.
19. V. K. Garg and B. Waldecker, "Detection of strong unstable predicates in distributed programs," IEEE Transactions on Parallel and Distributed Systems, vol. 7, pp. 1323-1333, Dec. 1996. (Pubitemid 126777390)
20. V. Garg and B. Waldecker, "Detection of weak unstable predicates in distributed programs," IEEE Transactions on Parallel and Distributed Systems, vol. 5, pp. 299-307, Mar. 1994.
21. N. Duffield and F. Lo Presti, "Multicast inference of packet delay variance at interior network links," in Proc. IEEE Conference on Computer Communications (INFOCOM'00), Tel Aviv, Israel, Mar 2000, pp. 1351-1360 vol.3. (Pubitemid 30584626)