Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 23
Issue Date | Title | Author(s) | Editor(s) | Type |
- | Methods And Sources For Underpinning Airport Ground Movement Decision Support Systems | Brownlee, Alexander; Atkin, Jason; Woodward, John; Burke, Edmund | - | Technical Report |
2019 | Crowd Sourcing The Sounds Of Places With A Web Based Genetic Algorithm Techreport | Brownlee, Alexander; Kim, Suk-Jun; Wang, Szu-Han; Chan, Stella; Lawson, Jamie A | - | Technical Report |
7-Apr-2018 | Relating Training Instances to Automatic Design of Algorithms for Bin Packing via Features (Detailed Experiments and Results) | Brownlee, Alexander; Woodward, John R; Veerapen, Nadarajen | - | Technical Report |
30-Apr-2018 | Investigating Benchmark Correlations when Comparing Algorithms with Parameter Tuning (Detailed Experiments and Results) | Christie, Lee A; Brownlee, Alexander; Woodward, John R | - | Technical Report |
Jan-2009 | A Case Study in Integrated Assertion-Based Verification with Omnibus | Wilson, Thomas; Maharaj, Savi; Clark, Robert | - | Technical Report |
Apr-2009 | APPEL: An Adaptable and Programmable Policy Environment and Language | Turner, Kenneth J; Reiff-Marganiec, Stephan; Blair, Lynne; Campbell, Gavin A; Wang, Feng | - | Technical Report |
Jun-2006 | An Overview of Ontology Application for Policy-Based Management using POPPET | Campbell, Gavin A | - | Technical Report |
Jun-2006 | Ontology for Call Control | Campbell, Gavin A | - | Technical Report |
Apr-2009 | The ACCENT Policy Wizard | Turner, Kenneth J; Campbell, Gavin A | - | Technical Report |
Dec-2005 | The ACCENT Policy Server | Reiff-Marganiec, Stephan; Turner, Kenneth J | - | Technical Report |
May-2004 | Policies for H.323 Internet Telephony | Huang, Tingxue (Sean) | - | Technical Report |
Feb-2007 | Ontologies for Resolution Policy Definition and Policy Conflict Detection | Campbell, Gavin A | - | Technical Report |
Dec-2008 | The DAMES Metadata Approach | Blum, Jesse Michael; Turner, Kenneth J | - | Technical Report |
Jun-2006 | Ontology Stack for A Policy Wizard | Campbell, Gavin A | - | Technical Report |
Aug-2007 | A Scalable Home Care System Infrastructure Supporting Domiciliary Care | Gray, 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 |
Mar-2008 | Deriving Mean Field Equations from Large Process Algebra Models | McCaig, Chris; Norman, Rachel; Shankland, Carron | - | Technical Report |
Aug-2007 | Push-Button Tools for Application Developers, Full Formal Verification for Component Vendors | Wilson, Thomas; Maharaj, Savi; Clark, Robert | - | Technical Report |
14-Jul-2015 | Gamification within plant health in the Forestry Commission | Maharaj, Savi; Greene, Peter | - | Research Report |
2007 | Network Boundary Identification using Local Information | Fayed, Marwan; Mouftah, Hussein T | - | Technical Report |
Nov-2008 | Prohibitive-link Detection and Routing Protocol | Fayed, Marwan; Mouftah, Hussein T | - | Technical Report |
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 23