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