Computing Science and Mathematics Technical Reports : [19] Collection home page

This collection contains electronic copies of technical reports produced by Computing Science and Mathematics staff.

Browse
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 19 of 19
Issue DateTitleAuthor(s)Type
14-Jul-2015Gamification within plant health in the Forestry CommissionMaharaj, Savi; Greene, PeterResearch Report
Jan-2009A Case Study in Integrated Assertion-Based Verification with OmnibusWilson, Thomas; Maharaj, Savi; Clark, RobertTechnical Report
Aug-2007Push-Button Tools for Application Developers, Full Formal Verification for Component VendorsWilson, Thomas; Maharaj, Savi; Clark, RobertTechnical Report
Mar-2008Deriving Mean Field Equations from Large Process Algebra ModelsMcCaig, Chris; Norman, Rachel; Shankland, CarronTechnical Report
2007Network Boundary Identification using Local InformationFayed, Marwan; Mouftah, Hussein TTechnical Report
Nov-2008Prohibitive-link Detection and Routing ProtocolFayed, Marwan; Mouftah, Hussein TTechnical Report
Aug-2010An Analysis of Planarity in Face-RoutingFayed, Marwan; Cairns, David; Mouftah, Hussein TTechnical Report
2010A combined process algebraic, agent and fluid flow approach to emergent crowd behaviourMassink, Mieke; Latella, Diego; Bracciali, Andrea; Hillston, JaneTechnical Report
2010A process algebraic fluid flow model of emergency egressMassink, Mieke; Latella, Diego; Bracciali, Andrea; Harrison, Michael DTechnical Report
Aug-2007A Scalable Home Care System Infrastructure Supporting Domiciliary CareGray, Philip; McBryan, Tony; Hine, Nick; Martin, Chris J; Gil, Nubia; Wolters, Maria; Mayo, Neil; Turner, Kenneth J; Docherty, Liam S; Wang, Feng; Kolberg, MarioTechnical Report
Dec-2008The DAMES Metadata ApproachBlum, Jesse Michael; Turner, Kenneth JTechnical Report
Apr-2009The ACCENT Policy WizardTurner, Kenneth J; Campbell, Gavin ATechnical Report
Dec-2005The ACCENT Policy ServerReiff-Marganiec, Stephan; Turner, Kenneth JTechnical Report
Apr-2009APPEL: An Adaptable and Programmable Policy Environment and LanguageTurner, Kenneth J; Reiff-Marganiec, Stephan; Blair, Lynne; Campbell, Gavin A; Wang, FengTechnical Report
Feb-2007Ontologies for Resolution Policy Definition and Policy Conflict DetectionCampbell, Gavin ATechnical Report
Jun-2006An Overview of Ontology Application for Policy-Based Management using POPPETCampbell, Gavin ATechnical Report
May-2004Policies for H.323 Internet TelephonyHuang, Tingxue (Sean)Technical Report
Jun-2006Ontology Stack for A Policy WizardCampbell, Gavin ATechnical Report
Jun-2006Ontology for Call ControlCampbell, Gavin ATechnical Report
Collection's Items (Sorted by Submit Date in Descending order): 1 to 19 of 19