Home > Research > Browse

Research

Results for State machine

Publications & Outputs

  1. HP: Hybrid paxos for WANs

    Dobre, D., Majuntke, M., Serafini, M. & Suri, N., 28/04/2010, 2010 European Dependable Computing Conference. IEEE, p. 117-126 10 p.

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

  2. Specification and synthesis of sensory datasets in pervasive spaces

    Helal, S., Andres, M-V. & Hossain, S., 2009, IEEE Symposium on Computers and Communications 2009, ISCC 2009. IEEE, p. 920-925 6 p.

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