Middleware support for context-awareness in asynchronous pervasive computing environments

Proceedings - IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2010

Volumn , Issue , 2010, Pages 136-143

  Yu, Jianping ^a   Huang, Yu ^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

CONCEPT OF TIME; CONTEXT AWARE MIDDLEWARE; CONTEXT- AWARENESS; DESIGN AND OPERATIONS; EVALUATION RESULTS; GLOBAL TIME; MIDDLEWARE INFRASTRUCTURE; PERVASIVE APPLICATIONS; PERVASIVE COMPUTING ENVIRONMENT; PREDICATE DETECTION; RUNTIMES; SYNCHRONOUS INTERACTIONS;

HUMAN COMPUTER INTERACTION; MIDDLEWARE;

UBIQUITOUS COMPUTING;

EID: 79951780411     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EUC.2010.29     Document Type: Conference Paper

References (17)

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. A. Dey, "Providing architectural support for building context-aware applications," Ph.D. Thesis, Georgia Institute of Technology, Nov. 2000.
3. 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)
4. 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)
5. 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.
6. Y. Huang, J. Yu, J. Cao, and X. Tao, "Detection of behavioral contextual properties in asynchronous pervasive computing environments," in Proc. IEEE International Conference on Parallel and Distributed Systems (ICPADS'10), Shanghai, China, Dec. 2010.
7. O. Babaoǧlu and M. Raynal, "Specification and verification of dynamic properties in distributed computations," J. Parallel Distrib. Comput., vol. 28, no. 2, pp. 173-185, 1995.
8. 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.
9. Y. Huang, J. Cao, B. Jin, X. Tao, J. Lu, and Y. Feng, "Flexible cache consistency maintenance over wireless ad hoc networks," IEEE Trans. Parallel Distrib. Syst., vol. 21, no. 8, pp. 1150-1161, 2010.
10. 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)
11. F. Mattern, "Virtual time and global states of distributed systems," in Proc. International Workshop on Parallel and Distributed Algorithms, Holland, 1989, pp. 215-226.
12. C. J. Fidge, "Partial orders for parallel debugging," in Proc. ACM SIG-PLAN and SIGOPS Workshop on Parallel and Distributed Debugging, Madison, Wisconsin, US, May 1988, pp. 183-194.
13. MIPA - Middleware Infrastructure for Predicate detection in Asynchronous environments, version 1.3.0, http://mipa.googlecode.com/.
14. O. Babaoǧlu, E. Fromentin, and M. Raynal, "A unified framework for the specification and run-time detection of dynamic properties in distributed computations," J. Syst. Softw., vol. 33, no. 3, pp. 287-298, 1996. (Pubitemid 126362975)
15. Y. Huang, J. Yu, X. Ma, X. Tao, and J. Lu, "Monitoring properties of open environments (in chinese)," Journal of Software, accepted, available at: http://www.jos.org.cn/1000-9825/3800.htm.
16. 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)
17. 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.