Browse by Aston Author

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | Date | No Grouping
Number of items: 3.

Article

Johnson, Kenneth and Tucker, John V. The data type of spatial objects. Formal Aspects of Computing, 25 (2), pp. 189-218.

Book Section

Johnson, Kenneth; Reed, Simon and Calinescu, Radu (2012). Specification and quantitative analysis of probabilistic cloud deployment patterns. IN: Hardware and software : verification and testing. Eder, Kerstin; Lourenço, João and Shehory, Onn (eds) Lecture notes in computer science . Berlin (DE): Springer.

Calinescu, Radu; Johnson, Kenneth and Rafiq, Yasmin (2011). Using observation ageing to improve Markovian model learning in QoS engineering. IN: ICPE'11 - Proceedings of the 2nd Joint WOSP/SIPEW International Conference on Performance Engineering. New York, NY (US): ACM.

This list was generated on Tue Apr 10 01:01:40 2018 BST.