Utilising the event calculus for policy driven adaptation on mobile systems

Proceedings - 3rd International Workshop on Policies for Distributed Systems and Networks, POLICY 2002

Volumn , Issue , 2002, Pages 13-24

  Efstratiou, C ^a   Friday, A ^a   Davies, N ^a,b   Cheverst, K ^a  

^a LANCASTER UNIVERSITY   (United Kingdom)

^b University of Arizona   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EVENT CALCULUS; MOBILE APPLICATIONS; MOBILE ENVIRONMENTS; MOBILE SYSTEMS; MULTIPLE APPLICATIONS; POLICY LANGUAGE; RESOURCE AVAILABILITY; SUB-OPTIMAL PERFORMANCE;

COMPUTER NETWORKS; INFORMATION SYSTEMS;

LOGIC PROGRAMMING;

EID: 4544382539     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/POLICY.2002.1011289     Document Type: Conference Paper

References (20)

1. K. Cheverst, K. Mitchell, and N. Davies. Design of an object model for a context sensitive tourist GUIDE. Computers and Graphics, 23(6):883-891, Dec. 1999.
2. N. Damianou, N. Dulay, E. Lupu, and M. Sloman. The Ponder policy specification language. In Proceedings of Policy Workshop, Bristol, UK, January 2001.
3. N. Davies, S.Wade, A. Friday, and G. Blair. L2imbo: a tuple space based platform for adaptive mobile applications. ACM Mobile Networks and Applications (MONET): Special Issue on Protocols and Software Paradigms of Mobile Networks, 3(2):143-156, 1998.
4. E. de Lara, D. S. Wallach, and W. Zwaenepoel. Puppeteer: Component-based adaptation for mobile computing. In Proceedings of the 3rd USENIX Symbosium on Internet Technologies and Systems, San Francisco, California, March 2001.
5. C. Efstratiou, K. Cheverst, N. Davies, and A. Friday. Architectural requirements for the effective support of adaptive mobile applications. Work in progress paper presented in Middleware2000, (USA:New Yort), April 2000.
6. C. Efstratiou, K. Cheverst, N. Davies, and A. Friday. An architecture for the support of adaptive context-aware applications. In Proceedings of Mobile Data Management (MDM'01), Hong Kong, January 2001.
7. C. Ellis. The case for higher-level power management. In Proceedings of HotOS'99, 1999.
8. J. Flinn and M. Satyanarayanan. Powerscope: A tool for profiling the energy usage of mobile applications. In Proc. of the Second IEEE Workshop on Mobile Computing Systems and Applications, 1999.
9. A. Friday, N. Davies, G. Blair, and K. Cheverst. Developing adaptive applications: The MOST experience. Journal of Integrated Computer-Aided Engineering, 6(2):143-157, 1996.
10. Z. Jiang and L. Kleinrock. An adaptive pre-fetching scheme. IEEE Journal on Selected Areas in Communication, 16:358-368, 1996.
11. A. Joseph, J. Tauber, and F. Kaashoek. Mobile computing with the Rover toolkit. IEEE Transactions on Computers: Special issue on Mobile Computing, 43(3), 1997.
12. R. Katz. Adaptation and mobility in wireless information systems. IEEE Personal Communications, 1(1):6-17, 1994.
13. R. Kowalsky. A logic-based calculus of events. New Generation Computing, 4:67-95, 1986.
14. R. Kowalsky. Database updates in event calculus. Journal of Logic Programming, 12:121-146, 1992.
15. J. Lobo, R. Bhatia, and S. Naqvi. A policy description language. In Proceedings of AAAI, Orlando, FL, July 1999.
16. Microsoft Corporation. Universal Plug and Play device architecture, version 0.91, March 2000. http://www.upnp.org.
17. B. D. Noble, M. Satyanarayanan, D. Narayanan, J. E. Tilton, J. Flinn, and K. R. Walker. Agile application-aware adaptation for mobility. In Sixteen ACM Symposium on Operating Systems Principles, pages 276-287, Saint Malo, France, Oct. 1997.
18. J. Pascoe. The Stick-e note architecture: Extending the interface beyond the user. In Proceedings of the 1997 International Conference on Intelligent User Interfaces, Short Papers, pages 261-264, 1997.
19. Real Networks Inc. The Real Player. http://www.real.com.
20. M. Shanahan. The event calculus explained. In M. J. Wooldridge and M. Veloso, editors, Articial Intelligence Today, Vol. 1600 of LNCS, pages 409-430. Springer, 1999.