Distributed Systems

Alexander Lazovik

  1. Large-Scale Multipurpose Benchmark Datasets For Assessing Data-Driven Deep Learning Approaches For Water Distribution Networks (, , and ), In Proceedings of the 3rd International Joint Conference on Water Distribution Systems Analysis & Computing and Control for the Water Industry (WDSA/CCWI), MDPI, .

    Abstract

    Currently, the number of common benchmark datasets that researchers can use straight away for assessing data-driven deep learning approaches is very limited. Most studies provide data as configuration files. It is still up to each practitioner to follow a particular data generation method and run computationally intensive simulations to obtain usable data for model training and evaluation. In this work, we provide a collection of datasets that includes several small and medium size publicly available Water Distribution Networks (WDNs), including Anytown, Modena, Balerma, C-Town, D-Town, L-Town, Ky1, Ky6, Ky8, and Ky13. In total 1,394,400 hours of WDNs data operating under normal conditions is made available to the community.


    BibTeX



    url
  2. Too Good To Be True: accuracy overestimation in (re)current practices for Human Activity Recognition (, and ), In 2024 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops), IEEE, .

    BibTeX



    doi
  3. Self-Adaptive Service Selection for Machine Learning Continuous Delivery (, and ), In 2024 IEEE International Conference on Web Services (ICWS), .

    BibTeX



  4. Graph Neural Networks for Pressure Estimation in Water Distribution Systems (, , and ), In arXiv preprint arXiv:2311.10579, Arxiv, .

    BibTeX



    url
  5. Empowering Machine Learning Development with Service-Oriented Computing Principles (, and ), In Service-Oriented Computing (M. Aiello, J. Barzen, S. Dustdar, F. Leymann, eds.), Springer Nature Switzerland, .

    BibTeX



  6. Correlating the Community Structure of Constraint Satisfaction Problems with Search Time ( and ), In International Journal on Artificial Intelligence Tools, .

    Abstract

    A constraint satisfaction problem (CSP) is, in its most general form, an NP-complete problem. One of the several classes of tractable problems that exist contains all the problems with a restricted structure of the constraint scopes. This paper studies community structure, a particular type of restricted structure underpinning a class of tractable SAT problems with potentially similar relevance to CSPs. Using the modularity, it explores the community structure of a wide variety of problems with both academic and industrial relevance. Its impact on the search times of several general solvers, as well as one that uses tree-decomposition, is also analysed to determine whether constraint solvers exploit this type of structure. Nearly all CSP instances have a strong community structure, and those belonging to the same class have comparable modularity values. For the general solvers, strong correlations between the community structure and the search times are not apparent. A more definite correlation exists between the modularity and the search times of the tree-decomposition, suggesting that it might, in part, be able to take advantage of the community structure. However, combined with the relatively strong correlation between the modularity and the tree-width, it could also indicate a similarity between these two measures.


    BibTeX



    urldoi
  7. Automated Service Composition Using AI Planning and Beyond (, and ), Chapter in (M. Aiello, A. Bouguettaya, D. A. Tamburri, W. J. van den Heuvel, eds.), Springer International Publishing, .

    BibTeX



    urldoi
  8. Adaptive On-the-fly Changes in Distributed Processing Pipelines (, , and ), In Frontiers in Big Data, Frontiers, .

    BibTeX



  9. A multi-robot allocation model for multi-object based on Global Optimal Evaluation of Revenue (, , , and ), In International Journal of Advanced Robotic Systems, volume 18, .

    Abstract

    The problem of global optimal evaluation for multi-robot allocation has gained attention constantly, especially in a multi-objective environment, but most algorithms based on swarm intelligence are difficult to give a convergent result. For solving the problem, we established a Global Optimal Evaluation of Revenue method of multi-robot for multi-tasks based on the real textile combing production workshop, consumption, and different task characteristics of mobile robots. The Global Optimal Evaluation of Revenue method could traversal calculates the profit of each robot corresponding to different tasks with global traversal over a finite set, then an optimization result can be converged to the global optimal value avoiding the problem that individual optimization easy to fall into local optimal results. In the numerical simulation, for fixed set of multi-object and multi-task, we used different numbers of robots allocation operation. We then compared with other methods: Hungarian, the auction method, and the method based on game theory. The results showed that Global Optimal Evaluation of Revenue reduced the number of robots used by at least 17%, and the delay time could be reduced by at least 16.23%.


    BibTeX



    urldoi
  10. The Internet of Everything: Smart things and their impact on business models (, , , , and ), In Journal of Business Research, .

    BibTeX



    urldoi
  11. The Community Structure of Constraint Satisfaction Problems and Its Correlation with Search Time ( and ), In 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI), .

    BibTeX



    doi
  12. ECiDA: Evolutionary Changes in Data Analysis (, , , , , , , and ), In ICT.Open, Hilversum, The Netherlands, .

    BibTeX



    url
  13. Office Multi-Occupancy Detection using BLE Beacons and Power Meters (, and ), In 2019 IEEE 10th Annual Ubiquitous Computing, Electronics, and Mobile Communication Conference, .

    BibTeX



  14. Multi-User Low Intrusive Occupancy Detection (, , and ), In Sensors, MDPI, volume 18, .

    BibTeX



    urldoi
  15. Adaptive Provisioning of Heterogeneous Cloud Resources for Big Data Processing (, , , and ), In Big Data and Cognitive Computing, volume 2, .

    BibTeX



    doi
  16. Low-power Appliance Recognition using Recurrent Neural Networks (, , and ), In Applications of Intelligent Systems, .

    BibTeX



  17. Planning meets activity recognition: Service coordination for intelligent buildings (, , , , and ), In Pervasive and Mobile Computing, Elsevier, volume 38, .

    BibTeX



    url
  18. Indoor self-localization via bluetooth low energy beacons (, , and ), In IDRBT JOURNAL OF IJBT, volume 1, .

    BibTeX



  19. Comparison of Energy Consumption in Wi-Fi and Bluetooth Communication in a Smart Building (, , and ), In IEEE Annual Computing and Communication Workshop and Conference, .

    BibTeX



    url
  20. Power-Based Device Recognition for Occupancy Detection (, , and ), In Service-Oriented Computing - ICSOC 2017 Workshops, volume in press, .

    BibTeX



    doi
  21. Runtime Modifications of Spark Data Processing Pipelines (, , , and ), In 2017 International Conference on Cloud and Autonomic Computing, ICCAC, .

    BibTeX



    url
  22. Cloud Ready Applications Composed via HTN Planning (, , and ), In IEEE International Conference on Service Oriented Computing and Applications, .

    BibTeX



  23. Domain-Independent Planning for Services in Uncertain and Dynamic Environments (, and ), In Artificial Intelligence, Elsevier, volume 236, .

    BibTeX



    url
  24. Power Management of Personal Computers based on User Behaviour (, , and ), In International Conference on Smart Cities and Green ICT Systems, .

    BibTeX



    url
  25. Automated Runtime Repair of Business Processes (, , , and ), In Inf. Syst., volume 39, .

    BibTeX



    url
  26. Dynamic Constraint Satisfaction with Space Reduction in Smart Environments ( and ), In International Journal on Artificial Intelligence Tools, volume 23, .

    BibTeX



    url
  27. GreenMind - An Architecture and Realization for Energy Smart Buildings (, , and ), In International Conference on ICT for Sustainability, .

    BibTeX



    url
  28. Utility-Based HTN Planning ( and ), In European Conference on Artificial Intelligence, .

    BibTeX



    url
  29. Towards a Robustness Evaluation Framework for BPEL Engines (, , and ), In International Conference on Service Oriented Computing & Applications, .

    BibTeX



    url
  30. Itemset-based Mining of Constraints for Enacting Smart Environments (, , and ), In Symposium on Activity and Context Modeling and Recognition, .

    BibTeX



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

    BibTeX



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

    BibTeX



    url
  33. 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, eds.), IGI Global, .

    BibTeX



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

    BibTeX



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

    BibTeX



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

    BibTeX



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

    BibTeX



    url
  38. Policy-Based Scheduling of Cloud Services (, , and ), In Scalable Computing: Practice and Experience, volume 13, .

    BibTeX



    url
  39. Optimizing Energy Costs for Offices Connected to the Smart Grid (, , , , and ), In IEEE Transactions on Smart Grid, volume 3, .

    BibTeX



    url
  40. Reduced Context Consistency Diagrams for Resolving Inconsistent Data ( and ), In ICST Transactions on Ubiquitous Environments, volume 12, .

    BibTeX



    url
  41. Service Ecologies for Home/Building Automation (, , , , and ), In 10th Int. IFAC Symposium on Robot Control, .

    BibTeX



  42. Automatic Detection of Business Process Interference (, , , and ), In International Workshop on Knowledge-intensive Business Processes, .

    BibTeX



    url
  43. Cost-efficient Context-aware Rule Maintenance ( and ), In Workshop on Context Modeling and Reasoning, .

    BibTeX



    url
  44. Modeling Dynamic Reconfigurations in Reo using High-Level Replacement Systems (, , and ), In Science of Computer Programming, volume 76, .

    BibTeX



    url
  45. Continual Planning with Sensing for Web Service Composition (, and ), In AAAI Conference on Artificial Intelligence, .

    BibTeX



    url
  46. Heterogeneous Device Discovery Framework For the Smart Homes (, , , and ), In IEEE GCC Conference & Exhibition, .

    BibTeX



    url
  47. Testing for Highly Distributed Service-oriented Systems using Virtual Environments (, and ), In Postproceedings of 17th Dutch Testing Day, .

    BibTeX



    url
  48. Smart Homes to Improve the Quality of Life for All (, , , , , , , , , and ), In 33rd Annual International IEEE Engineering in Medicine and Biology Conference, .

    BibTeX



  49. Business Process Customization using Process Merging Techniques (, and ), In International Conference on Service-Oriented Computing and Applications, .

    BibTeX



    url
  50. Interpretation of Inconsistencies via Context Consistency Diagrams ( and ), In Annual IEEE International Conference on Pervasive Computing and Communications, .

    BibTeX



    url
  51. Optimizing Offices for the Smart Grid (, , , , and ), Technical report JBI 2011-12-01, University of Groningen, .

    BibTeX



    url
  52. Channel-based Coordination via Constraint Satisfaction (, , and ), In Science of Computer Programming, .

    BibTeX



    url
  53. Interoperation, Composition and Simulation of Services at Home (, , , and ), In International Conference on Service Oriented Computing, .

    BibTeX



    url
  54. A tool for integrating pervasive services and simulating their composition (, , , and ), In International Conference on Service Oriented Computing, Demo Session, .

    BibTeX



    url
  55. Resolving Business Process Interference via Dynamic Reconfiguration (, , and ), In International Conference on Service Oriented Computing, .

    BibTeX



    url
  56. Mining Twitter in the Cloud: A Case Study (, and ), In IEEE 3rd International Conference on Cloud Computing, .

    BibTeX



    url
  57. Concept mapping for faster QoS-Aware Web Service Composition (, , and ), In IEEE Conference on Service Oriented Computing and Applications, .

    BibTeX



    url
  58. Planning in a Smart Home: Visualization and Simulation (, , and ), In International Conference on Automated Planning and Scheduling, .

    BibTeX



    url
  59. Extended Goals for Composing Services (, and ), In International Conference on Automated Planning and Scheduling, .

    BibTeX



    url
  60. Services inside the Smart Home: A Simulation and Visualization tool (, , , and ), In International Conference on Service Oriented Computing, .

    BibTeX



    url
  61. Optimal QoS-Aware Web Service Composition (, , and ), In Joint 11th IEEE Conference on E-Commerce Technology (CEC'08) and the 6th IEEE Conference on Enterprise Computing, E-Commerce and E-Services IEEE Computer, .

    BibTeX



    url