Computing Science and Mathematics Conference Papers and Proceedings : [179] Collection home page

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

Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 179
 next >
Issue DateTitleAuthor(s)Editor(s)Type
Aug-2017Improved Binary Similarity Measures for Software ModularizationNaseem, Rashid; Deris, Mustafa Bin Mat; Maqbool, Onaiza; Li, Jingpeng; Shahzad, Sarah; Shah, Habib-Journal Article
15-Mar-2017Exploring Fitness and Edit Distance of Mutated Python ProgramsHaraldsson, Seamundur; Woodward, John; Brownlee, Alexander; Cairns, DavidMcDermott, J; Castelli, M; Sekanina, L; Haasdijk, E; García-Sánchez, PConference Paper
2016Coarse-Grained Barrier Trees of Fitness LandscapesHerrmann, Sebastian; Ochoa, Gabriela; Rothlauf, FranzHandl, J; Hart, E; Lewis, PR; LopezIbanez, M; Ochoa, G; Paechter, BConference Paper
2009Feature Interactions Between Internet Services and Telecommunication ServicesWu, Xiaotao; Buford, John; Dhara, Kishore; Krishnaswamy, Venky; Kolberg, Mario-Conference Paper
Jul-2011A Participatory Simulation Model for Studying Attitudes to Infection RiskMaharaj, Savi; Kleczkowski, Adam; McCaldin, Tamsin-Conference Paper
2002Protocol Techniques for Testing Radiotherapy AcceleratorsTurner, Kenneth J; Bing, QianVardi, Moshe; Peled, Doron AConference Paper
Mar-2001Formally-Based Testing of Radiotherapy AcceleratorsTurner, Kenneth JProcter, Robert N; Rouncefield, MarkConference Paper
1996Specification and Animation of Reactive SystemsTurner, Kenneth J; McClenaghan, Ashley; Chan, ColinAtalay, Volkan; Halici, Ugur; Inan, Kemal; Yalabik, Nese; Yazici, AdnanConference Paper
2001Formally-Based Design Evaluation (extended version)Turner, Kenneth J; He, JiMargaria, Tiziana; Melham, Thomas FConference Paper
Jul-2009Verification and Validation of Agent Based Simulations using the VOMAS (Virtual Overlay Multi-agent System) ApproachNiazi, Muaz A K; Hussain, Amir; Kolberg, MarioBaldoni, Matteo; Baroglio, Cristina; Bentahar, Jamal; Boella, Guido; Cossentino, Massimo; Dastani, Mehdi; Dunin-Keplicz, Barbara; Fortino, Giancarlo; Gleizes, Marie-Peirre; Leite, João; Mascardi, Viviana; Padget, Julian; Pavón, Juan; Polleres, Axel; Seghrouchni, Amal ElConference Paper
Nov-2007Automated Analysis and Implementation of Composed Grid ServicesTan, Koon Leai Larry; Turner, Kenneth JDranidis, Dimitrios; Sakellariou, IliasConference Paper
2016Mining Markov Network Surrogates for Value-Added OptimisationBrownlee, AlexanderFriedrich, TConference Paper
Oct-2005Formalising Web ServicesTurner, Kenneth JWang, FConference Paper
2008Towards Personalised Home Care SystemsWang, Feng; Turner, Kenneth JMaglogiannis Ilias, Makedon Fillia, Baillie Lynne, Pantziou, GrammatiConference Paper
1-Dec-2016An exploratory case study of interactive simulation for teaching EcologyAmeerbakhsh, Omair; Maharaj, Savi; Hussain, Amir; Paine, C E Timothy; Taiksi, Solene-Conference Paper
May-2005Formalising the Chisel Feature NotationTurner, Kenneth JCalder, Muffy H; Magill, Evan HConference Paper
1998Validating Architectural Feature Descriptions using LOTOSTurner, Kenneth JKimbler, Kristofer; Bouma, L GConference Paper
1997Support Components for Quality of Service in Distributed Environments: Monitoring Service (extended version)Reed, Daren A; Turner, Kenneth JCampbell, Andrew; Nahrstedt, KlaraConference Paper
2008Policy Conflicts in Home Care SystemsWang, Feng; Turner, Kenneth JBousquet, Lydie du; Richier, Jean-LucConference Paper
2004Formalising Graphical Behaviour DescriptionsTurner, Kenneth JRattray, C; Maharaj, S; Shankland, CConference Paper
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 179
 next >