STORRE

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

Issue Date	Title	Author(s)	Editor(s)	Type
Aug-2017	Improved Binary Similarity Measures for Software Modularization	Naseem, Rashid; Deris, Mustafa Bin Mat; Maqbool, Onaiza; Li, Jingpeng; Shahzad, Sarah; Shah, Habib	-	Journal Article
2016	Coarse-Grained Barrier Trees of Fitness Landscapes	Herrmann, Sebastian; Ochoa, Gabriela; Rothlauf, Franz	Handl, J; Hart, E; Lewis, PR; LopezIbanez, M; Ochoa, G; Paechter, B	Conference Paper
2009	Feature Interactions Between Internet Services and Telecommunication Services	Wu, Xiaotao; Buford, John; Dhara, Kishore; Krishnaswamy, Venky; Kolberg, Mario	-	Conference Paper
2002	Protocol Techniques for Testing Radiotherapy Accelerators	Turner, Kenneth J; Bing, Qian	Vardi, Moshe; Peled, Doron A	Conference Paper
Mar-2001	Formally-Based Testing of Radiotherapy Accelerators	Turner, Kenneth J	Procter, Robert N; Rouncefield, Mark	Conference Paper
1996	Specification and Animation of Reactive Systems	Turner, Kenneth J; McClenaghan, Ashley; Chan, Colin	Atalay, Volkan; Halici, Ugur; Inan, Kemal; Yalabik, Nese; Yazici, Adnan	Conference Paper
2001	Formally-Based Design Evaluation (extended version)	Turner, Kenneth J; He, Ji	Margaria, Tiziana; Melham, Thomas F	Conference Paper
Jul-2009	Verification and Validation of Agent Based Simulations using the VOMAS (Virtual Overlay Multi-agent System) Approach	Niazi, Muaz A K; Hussain, Amir; Kolberg, Mario	Baldoni, Matteo; Baroglio, Cristina; Bentahar, Jamal; Boella, Guido; Cossentino, Massimo; Dastani, Mehdi; Dunin-Keplicz Barbara, Barbara; Fortino, Giancarlo; Gleizes, Marie-Peirre; Leite, João; Mascardi, Viviana; Padget, Julian; Pavón, Juan; Polleres, Axel; Seghrouchni, Amal El	Conference Paper
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

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