Home > Research > Browse

Research

Results for Distributed algorithm

Publications & Outputs

  1. HVAC-based cooperative algorithms for demand side management in a microgrid

    Ma, J., Ma, X. & Ilic, S., 9/11/2019, In: Energies. 12, 22, 18 p., 4276.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  2. On efficient models for model checking message-passing distributed protocols

    Bokor, P., Serafini, M. & Suri, N., 2010, Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Springer, Vol. 6117 LNCS. p. 216-223 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  3. Distributed mechanisms for enabling virtual sensors in service oriented intelligent environments

    Bose, R. & Helal, S., 2008, 4th International Conference on Intelligent Environments, IE 08. IEEE, 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review