STORRE

Subscribe to this collection to receive daily e-mail notification of new additions

Issue Date	Title	Author(s)	Editor(s)	Type
Nov-2007	Automated Analysis and Implementation of Composed Grid Services	Tan, Koon Leai Larry; Turner, Kenneth J	Dranidis, Dimitrios; Sakellariou, Ilias	Conference Paper
2016	Mining Markov Network Surrogates for Value-Added Optimisation	Brownlee, Alexander	Friedrich, T	Conference Paper
Oct-2005	Formalising Web Services	Turner, Kenneth J	Wang, F	Conference Paper
2008	Towards Personalised Home Care Systems	Wang, Feng; Turner, Kenneth J	Maglogiannis, Ilias; Makedon, Fillia; Baillie, Lynne; Pantziou,; Grammati,	Conference Paper
1-Dec-2016	An exploratory case study of interactive simulation for teaching Ecology	Ameerbakhsh, Omair; Maharaj, Savi; Hussain, Amir; Paine, C E Timothy; Taiksi, Solene	-	Conference Paper
May-2005	Formalising the Chisel Feature Notation	Turner, Kenneth J	Calder, Muffy H; Magill, Evan H	Conference Paper
1998	Validating Architectural Feature Descriptions using LOTOS	Turner, Kenneth J	Kimbler, Kristofer; Bouma, L G	Conference Paper
1997	Support Components for Quality of Service in Distributed Environments: Monitoring Service (extended version)	Reed, Daren A; Turner, Kenneth J	Campbell, Andrew; Nahrstedt, Klara	Conference Paper
2008	Policy Conflicts in Home Care Systems	Wang, Feng; Turner, Kenneth J	Bousquet, Lydie du; Richier, Jean-Luc	Conference Paper
2004	Formalising Graphical Behaviour Descriptions	Turner, Kenneth J	Rattray, C; Maharaj, S; Shankland, C	Conference Paper
1996	Specifying Multimedia Binding Objects in Z	Sinnott, Richard; Turner, Kenneth J	Spaniol, Otto; Linnhoff-Popien, Claudia; Meyer, Bernd	Conference Paper
1996	Specifying ODP Computational Objects in Z	Sinnott, Richard; Turner, Kenneth J	Najm, Elie; Stefani, Jean-Bernard	Conference Paper
1997	Modelling Digital Logic in SDL	Csopaki, Gyula; Turner, Kenneth J	Mizuno, Tadanori; Shiratori, Norio; Higashino, Teruo; Togashi, Atsushi	Conference Paper
May-2001	The N-Body Problem in LOTOS	Turner, Kenneth J	-	Conference Paper
1999	Protocol-Inspired Hardware Testing	He, Ji; Turner, Kenneth J	Csopaki, Gyula; Dibuz Sarolta, Sarolta; Tarnay, Katalin	Conference Paper
2005	Handling Policy Conflicts in Call Control	Blair, Lynne; Turner, Kenneth J	Reiff-Marganiec, Stephan; Ryan, Mark D	Conference Paper
1999	Specification and Verification of Synchronous Hardware using LOTOS	He, Ji; Turner, Kenneth J	Wu, Jianping; Chanson, Samuel T; Gao, Quiang	Conference Paper
May-2007	Graphical Composition of Grid Services	Turner, Kenneth J; Tan, Koon Leai Larry	Guelfi, Nicolas; Buchs, Didier	Conference Paper
2006	GEODE – Sharing Occupational Data Through The Grid	Tan, Koon Leai Larry; Gayle, Vernon; Lambert, Paul; Sinnott, Richard; Turner, Kenneth J	Cox, Simon J	Conference Paper
2008	Policy Conflict Filtering for Call Control	Campbell, Gavin A; Turner, Kenneth J	Bousquet, Lydie du; Richier, Jean-Luc	Conference Paper

This collection contains electronic copies of conference papers and proceedings produced by Computing Science and Mathematics staff.