| 37 |
Requirements Engineering for Service Oriented Architecture |
Aybuke Aurum |
Research |
| 38 |
Value-based Software Development in Australian Companies |
Aybuke Aurum |
Research |
| 239 |
Requirement Engineering Process for Mission-Critical Systems |
Aybuke Aurum |
Research |
| 301 |
Requirements Engineering for Open Source Software |
Aybuke Aurum |
R & D |
| 1467 |
Modelling Musical Improvisation |
Mike Bain |
Research |
| 2721 |
Molecular Systems Biology |
Mike Bain |
Research |
| 2865 |
Portfolio Optimisation by Genetic Programming |
Mike Bain |
Research |
| 1438 |
Discontinuities in software development |
Paul Bannerman |
Research |
| 1439 |
Determinants of project success |
Paul Bannerman |
Research |
| 1440 |
Risk management in projects of different type |
Paul Bannerman |
Research |
| 1441 |
Methodologies: When are they useful? |
Paul Bannerman |
Research |
| 3029 |
Structural enablers and inhibitors of SOA-enabled interoperability |
Paul Bannerman |
Research |
| 40 |
Integrating Web service Protocol Discovery Tool into ProM Toolset
|
Boualem Benatallah |
R & D |
| 41 |
Web Services Security Analysis and Management Tool. |
Boualem Benatallah |
R & D |
| 825 |
GUI for Adapter Development for Web Services
|
Boualem Benatallah |
R & D |
| 897 |
Process Spaceship AJAX-based GUI: A tool for superimposition and management of Process Views over Heteorogeneous IT systems |
Boualem Benatallah |
R & D |
| 898 |
Highly Interactive Web Services |
Boualem Benatallah |
R & D |
| 3007 |
Online Transactional Risk Minimization |
Alan Blair |
R & D |
| 1256 |
Dr Worm - using mobile phones in lectures |
Richard Buckland |
R & D |
| 1257 |
A decent spell checker for dyslexics and bad spellers |
Richard Buckland |
R & D |
| 2720 |
Applications of Psychology to Computing Applications |
Richard Buckland |
R & D |
| 3048 |
Computational strategies for the analysis of massively-parallel sequencing data |
Richard Buckland |
R & D |
| 742 |
3D Computer Games and Functional Programing |
Manuel Chakravarty |
R & D |
| 1185 |
.NET Bridge for Haskell |
Manuel Chakravarty |
R & D |
| 1452 |
Bridge between Objective-C and Haskell: The next generation |
Manuel Chakravarty |
R & D |
| 1453 |
High-performance computing on your graphics card: physical simulations on modern GPUs |
Manuel Chakravarty |
R & D |
| 1454 |
High-performance computational chemistry with Monte-Carlo simulators |
Manuel Chakravarty |
R & D |
| 1455 |
Haskell support for the Xcode IDE |
Manuel Chakravarty |
Development |
| 2972 |
Parallel mass spectrometry analysis using multicore GPUs |
Manuel Chakravarty |
R & D |
| 2973 |
LLVM backend for the Glasgow Haskell Compiler |
Manuel Chakravarty |
R & D |
| 915 |
Detect and Track Human with Multi-views |
Jing Chen |
R & D |
| 917 |
Automatic Vision-Based Traffic Incident Detection |
Jing Chen |
R & D |
| 1018 |
Using Machine learningTechnology on Traffic Flow Estimation |
Jing Chen |
Research |
| 1025 |
Region-Based Video Communication over Wireless Networks |
Jing Chen |
R & D |
| 1052 |
Video Communication Over Wireless Networks |
Jing Chen |
R & D |
| 1092 |
Intelligent Tracking System |
Jing Chen |
Research |
| 1209 |
An Intelligent Face Detector |
Jing Chen |
R & D |
| 2927 |
Multi-View Object Detection |
Jing Chen |
R & D |
| 507 |
Environmental data sensing and sharing via mobile phones |
Chun Tung Chou |
R & D |
| 2995 |
Wireless link quality in wireless mesh networks |
Chun Tung Chou |
R & D |
| 2993 |
On-chip network support for reconfigurable computing |
Oliver Diessel |
R & D |
| 763 |
A Computer Model of Electrocardiogram Signals |
Socrates Dokos |
Research |
| 847 |
Development of a CellML Editor for Biological Models |
Socrates Dokos |
Development |
| 1234 |
Rational Bezier Patch Modelling of Anatomical Surfaces |
Socrates Dokos |
R & D |
| 2969 |
Simulating pedestrian dynamics in a hospital |
Adam Dunn |
R & D |
| 2948 |
Problem Solving Apprenticeship System |
Hossam El Gindy |
Development |
| 2949 |
Weet-Weet movement Analysis |
Hossam El Gindy |
R & D |
| 1448 |
Linux as a component |
Kevin Elphinstone |
R & D |
| 2939 |
ARTEMIS Clarinet Playing Robot |
Kevin Elphinstone |
R & D |
| 2981 |
Secure microkernel-based web server using Linux instances |
Kevin Elphinstone |
R & D |
| 3017 |
Secure Web Server on SeL4 |
Kevin Elphinstone |
R & D |
| 193 |
Proving theorems in and about epistemic logics in Isabelle and PVS |
Kai Engelhardt |
Research |
| 806 |
Disecting Refactoring |
Kai Engelhardt |
Research |
| 1450 |
CEGAR testbed in Haskell |
Kai Engelhardt |
R & D |
| 1451 |
CocoaSpin |
Kai Engelhardt |
Development |
| 2650 |
Software Quality Metrics based on Static Analysis |
Ansgar Fehnker |
R & D |
| 278 |
Bioinformatics of the immune system |
Bruno Gaeta |
R & D |
| 279 |
Integrated visualisation of gene networks and microarray data |
Bruno Gaeta |
Development |
| 1262 |
Software for design of PCR primers to detect variation |
Bruno Gaeta |
R & D |
| 1270 |
Escape from the immune system: viral genomes and HLA types |
Bruno Gaeta |
Research |
| 3041 |
Development of software for analysing antibody diversity |
Bruno Gaeta |
Development |
| 3058 |
Bioinformatics of Metabolism |
Bruno Gaeta |
Research |
| 2986 |
Innovative applications of E-TAGs |
Linlin Ge |
R & D |
| 2987 |
Visualisation of radar interferometry |
Linlin Ge |
R & D |
| 2988 |
Image compression for emergency response |
Linlin Ge |
R & D |
| 2970 |
Drowsy and Decay Leakage Control for the Register File/Cache Memory Architecture |
Annie Guo |
R & D |
| 2971 |
Customizing SimpleScalar Tool for ASIP Design |
Annie Guo |
R & D |
| 3028 |
Road safety software for mobile phones |
Mahbub Hassan |
R & D |
| 57 |
Port OKL4 to SuperHitachi |
Gernot Heiser |
R & D |
| 488 |
Sunswift OS |
Gernot Heiser |
R & D |
| 498 |
Multics on modern hardware |
Gernot Heiser |
Research |
| 594 |
Bluesat OS |
Gernot Heiser |
R & D |
| 605 |
Multi-kernel fault tolerance |
Gernot Heiser |
Research |
| 835 |
Fault-tolerant embedded system |
Gernot Heiser |
R & D |
| 1263 |
Maximum power point tracking for the Sunswift 4 solar race car |
Gernot Heiser |
R & D |
| 1264 |
On-race strategy and data analysis software for the Sunswift 4 solar race car |
Gernot Heiser |
R & D |
| 1266 |
Steering-wheel integrated driver controls and display for the Sunswift 4 solar race car |
Gernot Heiser |
R & D |
| 1436 |
Analysing the L4 IPC fast path |
Gernot Heiser |
R & D |
| 1444 |
Linux multi-processor scalability |
Gernot Heiser |
Research |
| 2867 |
L4 vs Singularity |
Gernot Heiser |
Research |
| 2975 |
OKL4 on OLPC XO-1 |
Gernot Heiser |
R & D |
| 2976 |
NoTA prototype on OKL4 |
Gernot Heiser |
Research |
| 2977 |
SMT kernel locking trade-offs |
Gernot Heiser |
Research |
| 2978 |
VT-x support for OKL4 |
Gernot Heiser |
Research |
| 2979 |
Hardware-supported virtualization on OKL4 for ARM |
Gernot Heiser |
Research |
| 2980 |
Native OKL4 Android Stack |
Gernot Heiser |
Research |
| 2954 |
Humanoid Omni-directional Locomotion |
Bernhard Hengst |
R & D |
| 3020 |
Visual Odometry |
Bernhard Hengst |
R & D |
| 1171 |
Analytical Cache Memory Energy and Performance Model |
Aleksandar Ignjatovic |
R & D |
| 2929 |
Intelligent Comparison and Relational Mapping of Textual Information |
Aleksandar Ignjatovic |
R & D |
| 2933 |
Efficient processes for storing and querying a stock market order book |
Aleksandar Ignjatovic |
R & D |
| 2967 |
Acceleration of Negotiation-Based Circuit Routing |
Aleksandar Ignjatovic |
R & D |
| 3037 |
Applications of adaptive averages |
Aleksandar Ignjatovic |
R & D |
| 1162 |
Technical development process in the XML domain |
Ross Jeffery |
R & D |
| 1163 |
Service Oriented Architecture for e-Business Standards |
Ross Jeffery |
R & D |
| 3008 |
Quality of Service Monitorying Tool |
Sanjay Jha |
Research |
| 1091 |
Performance Evaluation of an On-Board Mobile Network Prototype |
Salil Kanhere |
R & D |
| 2709 |
Experimental Characterisation of a Wireless Multi-hop Aerial Wireless Sensor Network |
Salil Kanhere |
R & D |
| 2926 |
Unishare: A university-centric social networking application for sharing content using mobile phones |
Salil Kanhere |
R & D |
| 2998 |
Using participatory sensing to provide public transport information |
Salil Kanhere |
R & D |
| 3015 |
Performance Evaluation of a Multi-Channel Protocol for Wireless Sensor Networks |
Salil Kanhere |
R & D |
| 3018 |
Implementation of a Novel Privacy Preserving Solution for Mobile e-Commerce |
Salil Kanhere |
R & D |
| 3032 |
Inferring Personal Privacy Information From Flickr Photos |
Salil Kanhere |
R & D |
| 3045 |
Context-Aware Security in Participatory Sensing |
Salil Kanhere |
R & D |
| 3049 |
Automated Fire Warning System |
Salil Kanhere |
R & D |
| 738 |
Verifying the core of standard C library in Isabelle/HOL |
Gerwin Klein |
Research |
| 700 |
Engineering Systems Training Program |
Cat Kutay |
R & D |
| 804 |
Language Learning for Indigenous Languages |
Cat Kutay |
Development |
| 1032 |
Individual Based Model of Group Interactions |
Cat Kutay |
R & D |
| 1210 |
Language Sound Learning for Indigenous Languages |
Cat Kutay |
R & D |
| 730 |
Click Modular Router on L4 |
Ihor Kuz |
R & D |
| 1267 |
Component Architecture on Secure Microkernel |
Ihor Kuz |
R & D |
| 1268 |
Shared resources in an L4-based OS |
Ihor Kuz |
R & D |
| 299 |
Hand position tracking system for rehab |
Tim Lambert |
R & D |
| 2931 |
Input interfaces for visualization |
Tim Lambert |
R & D |
| 3016 |
VISLAB |
Tim Lambert |
R & D |
| 3050 |
Creating Pencil Drawings from Images |
Tim Lambert |
R & D |
| 1459 |
Bioinformatic analysis of pathway and regulatory networks of Shigella |
Ruiting Lan |
Research |
| 1461 |
Development of an integrated environment for sequence editing and comparison |
Ruiting Lan |
R & D |
| 2717 |
Developing a GPS data transceiver |
Samsung Lim |
R & D |
| 2718 |
Developing a GPS data visualisation system |
Samsung Lim |
R & D |
| 2719 |
Campus-wide Location Based Services |
Samsung Lim |
R & D |
| 2991 |
Developing Web Map Services and Web Feature Services for Teaching and Learning Environment using GeoServer |
Samsung Lim |
R & D |
| 3025 |
Bushfire Analysis Applications and Early Warning Systems |
Samsung Lim |
R & D |
| 663 |
Developing a web server on mobile phone using OSGI framework |
Jenny Liu |
R & D |
| 664 |
.NET-based Auction Service Design and Evaluation: managing trustworthiness |
Jenny Liu |
R & D |
| 1066 |
Benchmarking and Simulating Web 2.0 Applications in Data Centers |
Jenny Liu |
R & D |
| 1067 |
Enable Web2.0 Applications with Mashup and Searching Capability |
Jenny Liu |
R & D |
| 1095 |
Performance evaluation of architectural alternatives of .NET Applications |
Jenny Liu |
R & D |
| 1141 |
Developing Self-managing Adaptive Web Services |
Jenny Liu |
R & D |
| 1142 |
Monitoring Adaptive Server Applications using Eclipse Test and Performance Tools Platform |
Jenny Liu |
R & D |
| 1254 |
.Net (or Java) Event Driven Architecture for Real-Time Finanacial Applications |
Jenny Liu |
R & D |
| 1255 |
Business-Driven Autonomic Service-Oriented Middleware |
Jenny Liu |
R & D |
| 1465 |
Auction Simulation Framework for Large Distributed Systems |
Jenny Liu |
R & D |
| 2951 |
Monitoring and Accounting for Cloud Computing Platforms (Google App, Amazon EC and Windows Live) |
Jenny Liu |
R & D |
| 2952 |
Simulating Market-based Auction Mechanisms for Adaptive Resource Managmenet in Web 2.0 Applications |
Jenny Liu |
R & D |
| 2953 |
Applying Ruin Theory to Estimate the Risk of Violating Service Level Agreement |
Jenny Liu |
R & D |
| 1082 |
Use of a dual core OMAP processor for wireless communications with a bionic eye |
Nigel Lovell |
R & D |
| 1083 |
Vision Prosthesis Project: Image processing strategies for retinal ganglioncell stimulator |
Nigel Lovell |
R & D |
| 2928 |
Graphical User Interface for a Microcontrolled Neuro Stimulator |
Nigel Lovell |
R & D |
| 3043 |
Deep sequencing analysis of the early infection phase of hepatitis C virus |
Fabio Luciani |
R & D |
| 1073 |
Scheduling using Constraint Programming |
Michael Maher |
R & D |
| 1139 |
Using constraints to define permitted traffic flows |
Michael Maher |
R & D |
| 3000 |
Disruption Management for Commercial Aviation |
Michael Maher |
R & D |
| 3030 |
Mapping AMPL to Zinc |
Michael Maher |
Development |
| 3051 |
Answer set solver for G12 |
Michael Maher |
R & D |
| 3052 |
Dynamic Constraint Solving |
Michael Maher |
Research |
| 3053 |
Open global constraints |
Michael Maher |
Research |
| 3024 |
Typesetting in Context |
Blanca Mancilla |
R & D |
| 2672 |
Grep on Compressed Texts |
Sebastian Maneth |
R & D |
| 117 |
Usability Study |
Nadine Marcus |
R & D |
| 473 |
When and how to use animation: Connecting human minds to computers. |
Nadine Marcus |
Research |
| 919 |
Adaptive E-learning |
Nadine Marcus |
R & D |
| 1009 |
Designing Adaptive Interfaces |
Nadine Marcus |
R & D |
| 2713 |
Navigating virtual earth databases in a VR environment |
Matthew McGinity |
Development |
| 652 |
Develop a testbed for networking experiments |
Tim Moors |
R & D |
| 877 |
Estimating network dependencies |
Tim Moors |
R & D |
| 882 |
Using web replicas to mask network faults |
Tim Moors |
R & D |
| 988 |
Discovering network access problems |
Tim Moors |
R & D |
| 1020 |
Software for enhancing computer-aided assessment |
Tim Moors |
Development |
| 3003 |
Automated Network Address Assignment |
Tim Moors |
Research |
| 3004 |
Internet Protocol duplicate address detection and adaptation |
Tim Moors |
R & D |
| 3005 |
Renovating the Address Resolution Protocol (ARP) |
Tim Moors |
R & D |
| 890 |
Modeling stem cell division and differentiation |
Robert Nordon |
Research |
| 891 |
3-D display of reconstructed arterial supply of the brain from MRI scans |
Robert Nordon |
R & D |
| 2935 |
Development of Simulink/Matlab interface for microscopic analysis of cell movement and division |
Robert Nordon |
R & D |
| 2992 |
Cell lineage mapping from live cell microscopic images |
Robert Nordon |
R & D |
| 3042 |
Design and integration of microfludic controller |
Robert Nordon |
R & D |
| 19 |
Systematic code generation in compilation |
Albert Nymeyer |
R & D |
| 311 |
Training smart search algorithms |
Albert Nymeyer |
R & D |
| 344 |
Smart Search in Model Checking |
Albert Nymeyer |
R & D |
| 378 |
A Software Project Management Tool |
Albert Nymeyer |
Development |
| 808 |
A WebCMS-Based Software Project Management System |
Albert Nymeyer |
Development |
| 862 |
Reference Map Drawing Tool |
Albert Nymeyer |
Development |
| 2943 |
Drug Delivery Error Elimination |
Ross Odell |
Research |
| 630 |
Coordinating teams of robots |
Maurice Pagnucco |
R & D |
| 1159 |
Controlling a mobile robot using speech |
Maurice Pagnucco |
R & D |
| 1215 |
Using Speech to Play Games |
Maurice Pagnucco |
R & D |
| 1457 |
Cognitive vision |
Maurice Pagnucco |
R & D |
| 2707 |
RoboCup Standard League |
Maurice Pagnucco |
R & D |
| 2936 |
Intelligent Desktop using Bayesian Filtering |
Maurice Pagnucco |
R & D |
| 2982 |
Co-ordinating Multiple Cognitive Robotic Agents |
Maurice Pagnucco |
R & D |
| 873 |
Various topics under Service Delivery Framework |
Helen Hye-Young Paik |
R & D |
| 1251 |
Interactive Research Area Tracker |
Helen Hye-Young Paik |
R & D |
| 1472 |
Towards End-User Service Composition Platform |
Helen Hye-Young Paik |
R & D |
| 1473 |
Towards Personal Process Management |
Helen Hye-Young Paik |
R & D |
| 3031 |
Managing Your Social Network Profile |
Helen Hye-Young Paik |
R & D |
| 3054 |
Automatic Web Services Mashup using goal-based and context information |
Helen Hye-Young Paik |
R & D |
| 3055 |
Web Services Mashup Using Spreadsheet Environment |
Helen Hye-Young Paik |
R & D |
| 119 |
Agent Programming: Simulating Large Shopping Complexes |
Nandan (Paramesh) Parameswaran |
R & D |
| 120 |
Agent Programming: Implementing car agents in a virtual traffic world. |
Nandan (Paramesh) Parameswaran |
R & D |
| 331 |
ASIP Design |
Sri Parameswaran |
R & D |
| 364 |
Hardware/Software Implementation for an Efficient Video Streaming System |
Sri Parameswaran |
R & D |
| 580 |
Modified Computer Architecture |
Sri Parameswaran |
R & D |
| 2997 |
VLSI Design for Router Security |
Sri Parameswaran |
R & D |
| 3039 |
GUI simulation of Packet Classfication System |
Sri Parameswaran |
R & D |
| 2944 |
Optimization of Acoustic tagged Optical imaging system design using Model based approach |
Joseph Paul |
R & D |
| 3026 |
Modeling and Image Reconstruction of Magnetic Resonance Elastography |
Joseph Paul |
Research |
| 2862 |
Mutual impact of concurrently executed applications on multiprocessor architectures |
Stefan Petters |
Research |
| 1098 |
Intensional Semantics of Programming Languages |
John Plaice |
Research |
| 1099 |
Novel Implementations of TransLucid |
John Plaice |
Research |
| 1131 |
Cartesian Programming of Distributed Systems |
John Plaice |
Research |
| 2915 |
Formal Verification of TransLucid Programs |
John Plaice |
Research |
| 764 |
Mobile Applications for the G-NAF National Address Database |
Chris Rizos |
Development |
| 1127 |
Location Based Search for User Generated Content |
Chris Rizos |
R & D |
| 1130 |
3D Modelling of the Effects of Climate Change on the NSW Coast |
Chris Rizos |
R & D |
| 1274 |
Photo-realistic 3D Modelling for Virtual City |
Chris Rizos |
R & D |
| 2963 |
Assisted GPS client using the "GNSS Reference Interface Protocol" |
Chris Rizos |
R & D |
| 2964 |
SUPL A-GPS Client |
Chris Rizos |
R & D |
| 2966 |
A GIS Tool for Cyclists in the Eastern Suburbs |
Chris Rizos |
R & D |
| 2722 |
An exploration of implementation strategies for Event B models |
Ken Robinson |
R & D |
| 814 |
Game AI: Diplomats -- Deal Making AIs |
Malcolm Ross Kinsella Ryan |
Research |
| 815 |
AI for Interactive Storytelling |
Malcolm Ross Kinsella Ryan |
R & D |
| 870 |
Game AI: Reasoning about space |
Malcolm Ross Kinsella Ryan |
Research |
| 1040 |
Game AI: General Game Players |
Malcolm Ross Kinsella Ryan |
Research |
| 2864 |
Game AI: Poker |
Malcolm Ross Kinsella Ryan |
R & D |
| 2919 |
Game Design Project |
Malcolm Ross Kinsella Ryan |
Development |
| 2920 |
Conversational Turn-taking |
Malcolm Ross Kinsella Ryan |
R & D |
| 2921 |
Multi-modal robot control |
Malcolm Ross Kinsella Ryan |
R & D |
| 2974 |
Games for the Blind |
Malcolm Ross Kinsella Ryan |
R & D |
| 3023 |
Rehabilitation Games |
Malcolm Ross Kinsella Ryan |
R & D |
| 3010 |
SQL-Based Query Processor for Graph Queries |
Sherif Sakr |
R & D |
| 3011 |
XML Bibliographic Database for Latex |
Sherif Sakr |
R & D |
| 3012 |
Enhanced Search Engine for DBLP XML Database |
Sherif Sakr |
R & D |
| 3013 |
A Semantic-Based Management System of Web Feeds |
Sherif Sakr |
R & D |
| 3014 |
Graph Indexing and Querying: An assessment of the state of the art. |
Sherif Sakr |
R & D |
| 3034 |
An Empirical Evaluation of RDF Stores |
Sherif Sakr |
R & D |
| 3035 |
An Implementation of SPARQL Query Processor |
Sherif Sakr |
R & D |
| 3036 |
Flexible Modeling and Data Extraction of System Artifacts |
Sherif Sakr |
R & D |
| 43 |
Robot Soccer |
Claude Sammut |
R & D |
| 44 |
Robot Learning |
Claude Sammut |
Research |
| 45 |
Conversational Agent |
Claude Sammut |
Research |
| 306 |
Robots for Urban Search and Rescue |
Claude Sammut |
R & D |
| 935 |
Stereo Vision for a Humanoid Robot |
Claude Sammut |
Research |
| 964 |
A Household Mobile Robot |
Claude Sammut |
R & D |
| 1118 |
Talking to Robots |
Claude Sammut |
R & D |
| 1138 |
Intelligent Environment |
Claude Sammut |
R & D |
| 1165 |
3D Visualisation of Robot Sensor Data |
Claude Sammut |
R & D |
| 22 |
Recognising Lung features in HRCT |
Arcot Sowmya |
R & D |
| 2932 |
Development of a controller for FES cycling |
Gregg Suaning |
R & D |
| 2941 |
Infra-Red Eye Tracking for a Vision Prosthesis for the Blind |
Gregg Suaning |
R & D |
| 459 |
Bacterial genomes: modelling the evolution of gene clusters |
Mark Tanaka |
Research |
| 460 |
Evolution of Hepatitis C Virus and the role of escape mutants |
Mark Tanaka |
Research |
| 466 |
Evolution of viruses within hosts |
Mark Tanaka |
Research |
| 918 |
Simulating the extremes in combinatorial libraries and repertoires. |
Mark Tanaka |
Research |
| 338 |
Bioacoustic Data Mining |
Andrew Taylor |
R & D |
| 546 |
Visual monitoring of wildlife by computer |
Andrew Taylor |
R & D |
| 2696 |
A Handheld System for Plant Identification |
Andrew Taylor |
R & D |
| 3001 |
ELISA result processing using Excel/VBA |
John Teal |
Research |
| 1278 |
Business-Driven IT Management of Web Services and Business Processes |
Vladimir Tosic |
R & D |
| 1280 |
Tools for Business-Driven IT Management |
Vladimir Tosic |
Development |
| 1282 |
Extending Service-Oriented Middleware for Business-Driven IT Management |
Vladimir Tosic |
Development |
| 1285 |
Translation between Different Business Value Models |
Vladimir Tosic |
R & D |
| 1286 |
Ontology of Business Value |
Vladimir Tosic |
Research |
| 3044 |
Analysis of Patents on Autonomic Business-Driven IT Management |
Vladimir Tosic |
R & D |
| 2960 |
Verification of Secure Transaction Protocols |
Ron van der Meyden |
Research |
| 2958 |
Concurrency theory and distributed systems |
Rob van Glabbeek |
Research |
| 1291 |
Enterprise Search Engine |
Wei Wang |
R & D |
| 2930 |
Autocompletion Engine |
Wei Wang |
R & D |
| 2869 |
Bioinformatic analysis of glycosaminoglycan structures. |
John Whitelock |
R & D |
| 2937 |
Mapping proteoglycans in human mast cells in response to chitosan. |
John Whitelock |
R & D |
| 2968 |
Bioinformatic analysis of low molecular weight heparin |
John Whitelock |
R & D |
| 3033 |
Using bioinformatics to assess the post translational modifications that control the bioactivity of growth factors. |
John Whitelock |
Research |
| 3046 |
The membrane protein interaction network of S. cerevisiae |
Marc Wilkins |
Research |
| 3047 |
Building the Interactome of H. pylori |
Marc Wilkins |
Research |
| 173 |
A program to play the game Go-Moku/Take-5 |
Bill Wilson |
Development |
| 1013 |
Enhancing a backprop package to support sigma-pi connections |
Bill Wilson |
Development |
| 2724 |
Classifying Numeric Strings in Natural Language Text |
Bill Wilson |
Research |
| 287 |
Machine Learning for E-Mail Classification |
Wayne Wobcke |
R & D |
| 288 |
Model Checking for BDI Agents |
Wayne Wobcke |
Research |
| 290 |
Tourist Adviser on iPhone |
Wayne Wobcke |
Development |
| 291 |
Travel Planner on iPhone |
Wayne Wobcke |
Development |
| 786 |
Simulation of Teamwork in a Hospital Environment |
Wayne Wobcke |
R & D |
| 2989 |
Personalized Dating Recommender |
Wayne Wobcke |
R & D |
| 2990 |
Personalized Car Recommender |
Wayne Wobcke |
R & D |
| 3027 |
Efficient processing of a massive amount of user-generated content |
Raymond Wong |
R & D |
| 246 |
User Interfaces for Collaboration |
Daniel Woo |
R & D |
| 324 |
Location-based Application |
Daniel Woo |
R & D |
| 528 |
Software Interfaces for Creative Thinking |
Daniel Woo |
R & D |
| 938 |
Software Tools for Chemistry: Molecular Graphics on the Web |
Daniel Woo |
R & D |
| 2984 |
Moodle 2.0 Usability |
Daniel Woo |
R & D |
| 2985 |
In field learning and teaching for the School of Surveying and Spatial Info Systems |
Daniel Woo |
R & D |
| 3040 |
iPhone Medical Application |
Daniel Woo |
R & D |
| 866 |
EGF mutations associated with disease |
Merridee Wouters |
Research |
| 867 |
Exploring the genotype/phenotype relationships in lamin A/C |
Merridee Wouters |
Research |
| 868 |
Evolution of transglutaminases from papain-like cysteine proteases |
Merridee Wouters |
Research |
| 2994 |
Evolution of Redox-regulation of Cys Residues in Proteins |
Merridee Wouters |
Research |
| 756 |
Power-Aware Memory Management for Embedded Systems |
Hui Wu |
R & D |
| 757 |
Power-Aware Task Scheduling for Real-Time Embedded Systems with Multiprocessors |
Hui Wu |
R & D |
| 1198 |
Scratchpad Allocation for Minimising the Worst-Case execution Time of A Single Thread |
Hui Wu |
R & D |
| 1199 |
Design of A Closely Coupled Multiprocessor System |
Hui Wu |
R & D |
| 1200 |
Scheduling Instructions on Clustered VLIW processors |
Hui Wu |
R & D |
| 2725 |
Design of A Distributed Multiprocessor System |
Hui Wu |
R & D |
| 76 |
Compiler Techniques for Software-Managed Memory Hierarchies |
Jingling Xue |
R & D |
| 230 |
Compiler Techniques for Improving Cache Performance for Multi-Core Architectures |
Jingling Xue |
R & D |
| 957 |
Worst Case Excution Time (WCET) for Embedded and Real-Time Systems |
Jingling Xue |
Research |
| 1054 |
Compiler Techniques for Managing Stream Register Files in Stream Processors |
Jingling Xue |
R & D |
| 1190 |
Static Bug Checking in C Systems Code |
Jingling Xue |
R & D |
| 2922 |
Static Analysis for Detecting Data Races in Concurrent Java Programs |
Jingling Xue |
R & D |
| 2924 |
Static Analysis for Detecting Concurrency Bugs in Concurrent C/C++ Programs |
Jingling Xue |
R & D |
| 3021 |
Dynamic Program Analysis for finding Data Races and Deadlocks in Concurrent Java Programs |
Jingling Xue |
R & D |
| 3022 |
Symbolic execution for hunting bugs in C/C++ Code |
Jingling Xue |
R & D |
| 1132 |
Detecting objects in images |
Getian Ye |
R & D |
| 2959 |
Improving image quality with machine learning |
Getian Ye |
R & D |
| 610 |
Night-time Vehicle Detection and Tracking in Surveillance Video |
Jian Zhang |
Development |
| 613 |
Objects Classification and Event Detection in Surveillance Video. |
Jian Zhang |
R & D |
| 616 |
Robust Background and Foreground Analysis for Detecting and Tracking Moving Objects in Surveillance Video. |
Jian Zhang |
Development |
| 810 |
Semantic Video Understanding Based on HMM framework |
Jian Zhang |
R & D |
| 1044 |
Domain Specific Modelling Language Design for Model Driven Development |
Liming Zhu |
R & D |
| 1045 |
Automated Web Service Composition using Semantic Web Technologies |
Liming Zhu |
R & D |
| 1068 |
Model Driven .Net Development |
Liming Zhu |
R & D |
| 1069 |
Model Driven Development for Web Service |
Liming Zhu |
R & D |
| 1074 |
Adaptive Software Process Engineering |
Liming Zhu |
R & D |
| 1135 |
Service Oriented Architecture for e-Business Standards |
Liming Zhu |
R & D |
| 1136 |
Design-time Adaptive Service Engineering |
Liming Zhu |
R & D |
| 1137 |
Service-Oriented Eventing and Content Distribution |
Liming Zhu |
R & D |
| 1140 |
Architecture for Ultra-Large-Scale (ULS) Systems |
Liming Zhu |
R & D |
| 3056 |
AJAX-based Process and Service Mashup |
Liming Zhu |
R & D |
| 3057 |
CREST and Process Mashup in the Cloud |
Liming Zhu |
R & D |
319 records found
