Distributed Systems

2016

  1. Business Process Variability: a study into process management and verification (), Rijksuniversiteit Groningen, .

    Abstract

    Business Process Management (BPM) manages and optimizes business processes with the intent to increase productivity and performance. BPM is a rapidly evolving field due to new requirements emerging at agile branches of business where business processes are required to be less and less rigid. Where BPM supported local user-specific rigid and repetitive units of work in the past, these days it is required to support loosely-coupled processes in cloud configurations among many users with each many different requirements.As the field of BPM continues to manage an increasing number of rapidly evolving business processes in agile environments, the evolution of each business process must continue to always behave in a correct manner and remain compliant with the laws, regulations, and internal business requirements imposed upon it. To manage the correct behavior of quickly evolving business processes, or the definition of a wide variety of similar business processes, we evaluate the application of formal verification techniques as a possible solution for the pre-runtime analysis of the correct behavior and compliant design of business processes within possible process families. A novel approach allowing pre-runtime verification that supports the different branching and merging constructs allowed by business process models and their service compositions is presented. Evaluations on expressive power demonstrate that, other than the generally employed transition systems, the proposed model correctly captures well-known business process patterns. Furthermore, it maintains information on parallel occurrences of activities and the local next activity occurrence: an ability which is unique to the presented approach.

    BibTeX


    urlpdf
  2. A Smart Energy System for Sustainable Buildings: The Case of the Bernoulliborg (), Rijksuniversiteit Groningen, .

    BibTeX


    url
  3. 5th IFIP WG 2.14 European Conference Service-Oriented and Cloud Computing, (M. Aiello, E. B. Johnsen, S. Dustdar, I. Georgievski, eds.), Springer, volume 9846, .

    BibTeX


    url
  4. Analytical Modeling of End-to-End Delay in OpenFlow Based Networks (, , , , and ), In IEEE Access, IEEE, volume 5, .

    Abstract

    OpenFlow enabled networks split and separate the data and control planes of traditional networks. This design commodifies network switches and enables centralized control of the network. Control decisions are made by an OpenFlow controller, and locally cached by switches, as directed by controllers. This can significantly impact the forwarding delay incurred by packets in switches, because controllers are not necessarily co-located with switches. Only very few studies have been conducted to evaluate the performance of OpenFlow in terms of end-to-end delay. In this paper, we develop a stochastic model for the end to end delay in OpenFlow switches based on measurements made in Internet-scale experiments performed on three different platforms, i.e., Mininet, the GENI testbed, and the OF@TEIN testbed.

    BibTeX


    urldoi
  5. A Novel Strategy for Optimising Decentralised Energy Exchange for Prosumers ( and ), In Energies, MDPI, volume 9, .

    BibTeX


    url
  6. Optimizing groups of colluding strong attackers in mobile urban communication networks with evolutionary algorithms (, , , and ), In Applied Soft Computing, Elsevier, volume 40, .

    BibTeX


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

    BibTeX


    url
  8. Let's get Physiqual - an intuitive and generic method to combine ssensor technology with ecological momentary assessments (, , , , , and ), In Journal of Biomedical Informatics, volume 63, .

    BibTeX


    url
  9. From the grid to the smart grid, topologically ( and ), In Physica A, Elsevier, volume 449, .

    BibTeX


    url
  10. Automatic RDF-ization of big data semi-structured datasets (, , , and ), In Maskana, volume 7, .

    BibTeX
  11. Automated planning for ubiquitous computing ( and ), In ACM Comput. Surv., ACM, volume 49, .

    BibTeX


    url
  12. Design and implementation of a residential energy monitoring system prototype tailored to meet local needs (, , , , and ), In International Journal of Computing and Digital Systems, volume 5, .

    Abstract

    The Kingdom of Saudi Arabia, like many other Gulf Council Countries, is lately experiencing a very rapid population and industrial growth, which results in an increasing demand for energy. To meet this growing demand, the GCC too is transitioning towards a smarter electricity grid with increased penetration of renewable sources. However, all agree that the success of such a shift in paradigm also depends on demand side management, most of energy demands coming for residential area. Providing residents with real-time feedback on their energy consumption is a promising way to promote energy saving behavior through an increased awareness. This paper outlines the design and development phases of a residential energy monitoring system that has been tailored to meet local needs, that is to say a non-intrusive system with a user friendly interface available both in English and Arabic endowed with an alert system providing real-time consumption information, as well as energy saving and awareness tips.

    BibTeX


    doi
  13. Temporal dynamics of health and well-being: A crowdsourcing approach to momentary assessments and automated generation of personalized feedback (, , , , , , and ), In Psychosomatic Medicine, .

    BibTeX
  14. Detecting similar areas of knowledge using semantic and data mining technologies (, , , , and ), In Electronic Notes in Theoretical Computer Science, Elsevier, volume 329, .

    BibTeX
  15. A price-based approach for voltage regulation and power loss minimization for the electrical power distribution system (, and ), In 55th IEEE Conference on Decision and Control, .

    BibTeX


    url
  16. Memory-efficient string matching for intrusion detection systems using a high-precision pattern grouping algorithm (, , and ), In Proceedings of the 2016 Symposium on Architectures for Networking and Communications Systems, ACM, .

    BibTeX


    doi
  17. Sentiment Classification of Tweets using Hierarchical Classification (, , , and ), In International Conference on Communications, .

    Abstract

    This paper addresses the problem of sentiment classification of short messages on microblogging platforms. We apply machine learning and pattern recognition techniques to design and implement a classification system for microblog messages assigning them into one of three classes: positive, negative or neutral. As part of this work, we contributed a dataset consisting of approximately 10, 000 tweets, each labeled on a five point sentiment scale by three different people. Experiments demonstrate a detection rate between approximately 70% and an average false alarm rate of approximately 18% across all three classes. The developed classifier has been made available for online use.

    BibTeX


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

    BibTeX


    url
  19. Benchmark Datasets for Fault Detection and Classification in Sensor Data (, , and ), In International Conference on Sensor Networks, .

    BibTeX


    url
  20. Influence Maximization in Social Networks with Genetic Algorithms ( and ), In European Conference on the Applications of Evolutionary and Bio-inspired Computation (Evo* EvoApplications), track EvoComplex: Evolutionary Algorithms and Complex Systems, .

    BibTeX


    url
  21. Detecting National Political Unrest on Twitter (, , , and ), In International Conference on Communications, .

    Abstract

    The popular uprisings in a number of countries in the Middle East and North Africa in the Spring of 2011 were broadcasted live and enabled by local populations' access to social networking services such as Twitter and Facebook. The goal of this paper is to study the flow characteristics of the information flow of these broadcasts on Twitter. We have used language independent features of Twitter traffic to identify differences in information flows on Twitter mentioning countries experiencing some form of unrest, compared to traffic mentioning countries with peaceful political situations. We used these features to identify countries with political unstable situation. For empirical analysis, we collected several data sets of countries that were experiencing political unrest, as well as a set of countries in a control group that were not subject to such socio-political condition. Several different methods are used to model the flow of information between Twitter users in data sets as graphs, called information cascades. By using the dynamic properties of information cascades, naïve Bayes and SVM classifiers both achieve true positives rates of 100%, with false positives rates of 3% and 0%, respectively.

    BibTeX


    urldoi
  22. On the relationship between automation and occupants in smart buildings ( and ), In International Conference on ICT for Sustainability, .

    BibTeX


    url
  23. Pfpsim: A Programmable Forwarding Plane Simulator (, , , , , and ), In 2016 ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS), IEEE, .

    BibTeX


    doi
  24. Proactive Ethernet Congestion Control based on Link Utilization Estimation (, , , , and ), In 2016 International Conference on Computing, Networking and Communications (ICNC), IEEE, .

    BibTeX


    doi