Distributed Systems

2013


  1. Domain-independent planning for services in uncertain and dynamic environments (), Rijksuniversiteit Groningen, .

    BibTeX



    url
  2. Design and implementation of middleware platform for a smart home (), Rijksuniversiteit Groningen, .

    BibTeX



    url
  3. Foreword (), Chapter in , IGI Global, .

    BibTeX



    url
  4. Generating personalized advice for schizophrenia patients (, , , and ), In Artificial Intelligence in Medicine, volume 58, .

    BibTeX



    url
  5. Coordinating the Web of Services for a Smart Home ( and ), In ACM Transactions on the Web, volume 7, .

    BibTeX



    url
  6. An Interplatform Service-Oriented Middleware for the Smart Home ( and ), In International Journal of Smart Home, volume 7, .

    BibTeX



    url
  7. The Management of Elearning at University of KKU, ABHA ( and ), In International Journal of Emerging Technologies in Learning, volume 8, .

    BibTeX



  8. The Power Grid as a Complex Network: a Survey ( and ), In Physica A: Statistical Mechanics and its Applications, volume 392, .

    BibTeX



    url
  9. E-health self-management in psychotic disorders: state of the art and future perspectives (, , , and ), In Psychiatric Services, volume 65, .

    BibTeX



    url
  10. Aware homes (), In Awareness Magazine: Self-awareness in autonomic systems, .

    BibTeX



    url
  11. Energy Intelligent Buildings based on User Activity: A Survey ( and ), In Energy and Buildings, volume 56, .

    BibTeX



    url
  12. Ontology-based Office Activity Recognition with Applications for Energy Savings (, and ), In Journal of Ambient Intelligence and Humanized Computing, .

    BibTeX



    url
  13. Architecture pattern for context-aware smart environments ( and ), Chapter in Creating Personal, Social and Urban Awareness through Pervasive Computing (D. Riboni, B. Guo, P. Hu, ed.), IGI Global, .

    BibTeX



    url
  14. An Evolutionary Framework for Routing Protocol Analysis in Wireless Sensor Networks ( and ), In European Conference on the Applications of Evolutionary and bio-inspired Computation, volume 7835, .

    BibTeX



    url
  15. Wireless sensor network based monitoring system for photovoltaic panels in extreme GCC climate conditions: A literature review of current approaches ( and ), In , .

    Abstract

    Photovoltaic system performance highly depends on environmental conditions. Hence system requirements to optimize energy yield are unique, and in most cases no relevant data are available to make implementation decisions. This is why monitoring of such systems is very essential for initial system evaluation, and continuous output optimization. This paper is the result of a thorough literature survey about existing performance monitoring system for photovoltaic panels, aiming to propose a system tailored for photovoltaic panels under the very particular environmental conditions experienced in the GCC region, as these countries are in an area with tremendous potential for development of solar energy projects. A wireless sensor network based monitoring system is proposed, that measures data relevant for desert climate like dust, temperature and humidity. A small-scale prototype is described, along with initial experimental results. © 2013 IEEE.


    Keywords: PV panels, Renewable energy, monitoring system, wireless sensor network


    BibTeX



    doi
  16. A Machine Learning Approach for Vehicle Classification using Passive Infrared and Ultrasonic Sensors ( and ), In ACM/IEEE Conference on Information Processing in Sensor Networks, .

    BibTeX



    url
  17. Testing of Distributed Service-Oriented Systems (), In ICSOC, volume 8377, .

    BibTeX



    url
  18. Modeling the Last Mile of the Smart Grid ( and ), In PES Innovative Smart Grid Technologies Conference, .

    BibTeX



    url
  19. Cost and Benefits of Denser Topologies for the Smart Grid ( and ), In Computer and Information Sciences III from the 27th International Symposium on Computer and Information Sciences (ISCIS'12), .

    BibTeX



    url
  20. A Survey of Formal Business Process Verification: From Soundness to Variability ( and ), In International Symposium on Business Modeling and Software Design, .

    BibTeX



    url
  21. Planning for Coordination of Devices in Energy-Smart Envronments (), In Doctoral Consortium of the 23rd International Conference on Automated Planning and Scheduling, .

    BibTeX



    url
  22. Combining Activity Recognition and AI Planning for Energy-Saving Offices ( and ), In IEEE International Conference on Ubiquitous Intelligence and Computing, .

    BibTeX



    url
  23. Continuous Correctness of Business Processes against Process Interference ( and ), In IEEE International Conference on Service Oriented Computing and Applications, .

    BibTeX



    url
  24. Capacity Analysis of Combined IPTV and VoIP over IEEE 802.11n (, and ), In 38th Annual IEEE Conference on Local Computer Networks, .

    BibTeX



  25. IPTV Capacity Analysis using DCCP over IEEE 802.11n (, and ), In 78th Vehicular Technology Conference, .

    BibTeX



  26. Applying Time Series Analysis and Neighbourhood Voting in a Decentralised Approach for Fault Detection and Classification in WSNs ( and ), In International Symposium on Information and Communication Technology, .

    BibTeX



    url
  27. A Decentralized Scheme for Fault Detection and Classification in WSNs ( and ), In IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2013, Work in Progress session), .

    BibTeX



    url
  28. Towards Context Consistency in a Rule-Based Activity Recognition Architecture ( and ), In International Symposium on Ubiquitous Intelligence and Autonomic Systems, .

    BibTeX



    url
  29. Dynamic Constraint Reasoning in Smart Environments ( and ), In IEEE International Conference on Tools with Artificial Intelligence, .

    BibTeX



    url
  30. Service-Oriented Architecture for Smart Environments ( and ), In IEEE International Conference on Service Oriented Computing and Applications, .

    BibTeX



    url
  31. An Automated Analysis Of Process Interference Verified With LTL Checking ( and ), Technical report 2013-08-07, University of Groningen, .

    BibTeX



    url