University of Stirling    STORRE: Stirling Online Research Repository University Circle Images   Research Led, Student Focused  
 

STORRE >

Browsing by Affiliation Computing Science - CSM Dept

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 100 to 119 of 270
< previous   next >
Issue DateTitleAuthor(s)Type
Jul-2003Formalising Graphical Service Descriptions using SDLTurner, Kenneth JConference Paper
May-2005Formalising the Chisel Feature NotationTurner, Kenneth JConference Paper
Oct-2005Formalising Web ServicesTurner, Kenneth JConference Paper
2001Formally-Based Design Evaluation (extended version)Turner, Kenneth J; He, JiConference Paper
Mar-2001Formally-Based Testing of Radiotherapy AcceleratorsTurner, Kenneth JConference Paper
1994Formal specification of QoS propertiesDonaldson, A John M; Turner, Kenneth JConference Paper
Jul-2010Formal Synthetic ImmunologyAldinucci, Marco; Bracciali, Andrea; Lio, PietroJournal Article
2009A Framework for Mobile Applications based on a structured P2P OverlayKolberg, Mario; Wilson, Michael; Blunn, Martin; Magill, Evan; Burtwistle, PeterConference Paper
Apr-2011From Individuals to Populations: a mean field semantics for process algebraMcCaig, Chris; Norman, Rachel; Shankland, CarronJournal Article
Mar-2009From Individuals to Populations: A Symbolic Process Algebra Approach to EpidemiologyMcCaig, Chris; Norman, Rachel; Shankland, CarronJournal Article
2006GEODE – Sharing Occupational Data Through The GrTan, Koon Leai Larry; Gayle, Vernon; Lambert, Paul; Sinnott, Richard; Turner, Kenneth JConference Paper
2009Goals and Conflicts in TelephonyTurner, Kenneth J; Campbell, Gavin APart of book or chapter of book
Aug-2008Goals and Policies for Sensor Network ManagementCampbell, Gavin A; Turner, Kenneth JPart of book or chapter of book
2009Goals for Telecare NetworksTurner, Kenneth J; Campbell, Gavin AConference Paper
May-2007Graphical Composition of Grid ServicesTurner, Kenneth J; Tan, Koon Leai LarryConference Paper
2005Handling Policy Conflicts in Call ControlBlair, Lynne; Turner, Kenneth JConference Paper
2012HyFlex: A benchmark framework for cross-domain heuristic searchOchoa, Gabriela; Hyde, Matthew; Curtois, Tim; Vazquez-Rodriguez, Jose Antonio; Walker, James; Gendreau, Michel; Kendall, Graham; McCollum, Barry; Parkes, Andrew J; Petrovic, Sanja; Burke, EdmundConference Paper
2012HyFlex: A benchmark framework for cross-domain heuristic searchOchoa, Gabriela; Hyde, Matthew; Curtois, Tim; Vazquez-Rodriguez, Jose Antonio; Walker, James; Gendreau, Michel; Kendall, Graham; McCollum, Barry; Parkes, Andrew J; Petrovic, Sanja; Burke, EdmundConference Paper
Jul-2013Hyper-heuristics: A survey of the state of the artBurke, Edmund; Gendreau, Michel; Hyde, Matthew; Kendall, Graham; Ochoa, Gabriela; Ozcan, Ender; Qu, RongJournal Article
Apr-2003IEEE 1394 Tree Identify Protocol: Introduction to the case studyMaharaj, Savitri; Romijn, Judi; Shankland, CarronJournal Article
Showing results 100 to 119 of 270
< previous   next >

 

Valid XHTML 1.0! Repository Service Operated by Information Services, University of Stirling
Powered by DSpace Software Copyright © 2002-2010  Duraspace - Feedback