Logic programming based formal representations for authorization and security protocols (2008)
Wang, Shujing, College Of Health And Science, School Of Computing And Mathematics
Logic programming with answer set semantics has been considered appealing rule-based formalism language and applied in information security areas. In this thesis, we investigate the problems of...
Logic programming based formal representations for authorization and security protocols (2008)
Wang, Shujing, College Of Health And Science, School Of Computing And Mathematics
Logic programming with answer set semantics has been considered appealing rule-based formalism language and applied in information security areas. In this thesis, we investigate the problems of...
Synchronising subjective knowledge and knowledge management systems in organisations (2008)
Lakkaraju, Sai Kiran, College Of Health And Science, School Of Computing And Mathematics
The aim of this study is to develop a model for knowledge synchronisation in organisations. The research aim is further broken down into two research objectives that are handled during this study:...
Automated negotiation in multi-agent based e-business (2007)
Huq, Golenur B., College Of Health And Science, School Of Computing And Mathematics
Negotiation is one of the most important activities for organisations in conducting electronic business. Traditional purchasing and selling have been conducted through complex processes involving...
Utilising behaviour history and fuzzy trust levels to enhance security in ad-hoc networks (2007)
Hallani, Houssein, College Of Health And Science, School Of Computing And Mathematics
A wireless Ad-hoc network is a group of wireless devices that communicate with each other without utilising any central management infrastructure. The operation of Ad-hoc networks depends on the...
Long term preservation of textual information in the AEC sector (2007)
Bader, Refad, College Of Health And Science, School Of Computing And Mathematics
As we are living in a vast changing technological era, the hardware and software required to read electronic documents continue to evolve, and the technology may be so different in the near future...
Creation and spatial partitioning of mip-mappable geometry images (2007)
Domanski, Luke, College Of Health And Science, School Of Computing And Mathematics
A Geometry Image (GIM) describes a regular polygonal surface mesh using a standard 2D image format without the need for explicit connectivity information. Like many regular or semi-regular surface...
Zhou, Li, College Of Health And Science, School Of Computing And Mathematics
A detailed literature review on the development and applications of several numerical methods in solid mechanics and electromagnetic field analysis is presented in the thesis. Despite the great...
Collaborative business process engineering (CBPE) across multiple organisations (2007)
Ghanbary, Abbass, College Of Health And Science, School Of Computing And Mathematics
This research is an investigation into how organisations can engineer new collaborative business processes. This engineering of processes is based on technical advances, which enables organisations...
Model update system for modifications (2007)
Ding, Yulin, College Of Health And Science, School Of Computing And Mathematics
Model checking is an existing approach for automatic reasoning. The model checker is an important tool and has been applied to software engineering for system verification. As an extension of model...
Automated negotiation in multi-agent based e-business (2007)
Huq, Golenur B., College Of Health And Science, School Of Computing And Mathematics
Negotiation is one of the most important activities for organisations in conducting electronic business. Traditional purchasing and selling have been conducted through complex processes involving...
Model update system for modifications (2007)
Ding, Yulin, College Of Health And Science, School Of Computing And Mathematics
Model checking is an existing approach for automatic reasoning. The model checker is an important tool and has been applied to software engineering for system verification. As an extension of model...
Collaborative business process engineering (CBPE) across multiple organisations (2007)
Ghanbary, Abbass, College Of Health And Science, School Of Computing And Mathematics
This research is an investigation into how organisations can engineer new collaborative business processes. This engineering of processes is based on technical advances, which enables organisations...
Creation and spatial partitioning of mip-mappable geometry images (2007)
Domanski, Luke, College Of Health And Science, School Of Computing And Mathematics
A Geometry Image (GIM) describes a regular polygonal surface mesh using a standard 2D image format without the need for explicit connectivity information. Like many regular or semi-regular surface...
Zhou, Li, College Of Health And Science, School Of Computing And Mathematics
A detailed literature review on the development and applications of several numerical methods in solid mechanics and electromagnetic field analysis is presented in the thesis. Despite the great...
Long term preservation of textual information in the AEC sector (2007)
Bader, Refad, College Of Health And Science, School Of Computing And Mathematics
As we are living in a vast changing technological era, the hardware and software required to read electronic documents continue to evolve, and the technology may be so different in the near future...
Utilising behaviour history and fuzzy trust levels to enhance security in ad-hoc networks (2007)
Hallani, Houssein, College Of Health And Science, School Of Computing And Mathematics
A wireless Ad-hoc network is a group of wireless devices that communicate with each other without utilising any central management infrastructure. The operation of Ad-hoc networks depends on the...
Automated negotiation in multi-agent based e-business (2007)
Huq, Golenur B., College Of Health And Science, School Of Computing And Mathematics
Negotiation is one of the most important activities for organisations in conducting electronic business. Traditional purchasing and selling have been conducted through complex processes involving...
Vortex : deferred sort last parallel graphics architecture (2006)
Santilli, Abram, College Of Health And Science, School Of Computing And Mathematics
We have developed a new cluster parallel graphics architecture that improves upon prior cluster parallel graphics systems for high performance supergraphics – the Vortex deferred sort-last parallel...
Leveraging knowledge-based innovation in high-tech SMEs : case studies from Taiwan (2006)
Chen, Te Fu, College Of Health And Science, School Of Computing And Mathematics
To date, the existing literature is very limited in its provision of links between knowledge management or intellectual capital with innovation. Existing studies have derived their innovation...
Multiple control levels in structured genetic alogorithms (2006)
Molfetas, Angelos, College Of Health And Science, School Of Computing And Mathematics
This work examines the impact that genes with activation relationships have on Genetic Algorithms (GAs). These activation relationships allow genes to control whether other associated genes get...
Crescini, Vino Fernando, College Of Health And Science, School Of Computing And Mathematics
As information systems evolve to cope with the ever increasing demand of today’s digital world, so does the need for more effective means of protecting information. In the early days of computing,...
Heath, Jennifer, College Of Health And Science, School Of Computing And Mathematics
Existing patient medical records are a rich data source with a potential to support clinical research. Fragmentation of data across disparate medical database inhibits the use of these existing...
Bartlett, Robert Graham, College Of Health And Science, School Of Computing And Mathematics
This thesis explores the utility of interest management in peer-to-peer environments. Specifically, it proposes: a model for formulaic specification of interest criteria that is implementation...
Jayarante, Kithangodage Lakshman, College Of Health And Science, School Of Computing And Mathematics
Content-based indexing and retrieval has emerged as an important area in computer vision and multimedia computing. Current solutions for searching image data primarily deal with associated text and...
Hansen, Stephen Mark, College Of Health And Science, School Of Computing And Mathematics
As more and more of information systems develop into large scale web applications, the complexity of multiple possible stakeholders and users multiplies. Web engineering methodologies although...
Hansen, Stephen Mark, College Of Health And Science, School Of Computing And Mathematics
As more and more of information systems develop into large scale web applications, the complexity of multiple possible stakeholders and users multiplies. Web engineering methodologies although...
Jayarante, Kithangodage Lakshman, College Of Health And Science, School Of Computing And Mathematics
Content-based indexing and retrieval has emerged as an important area in computer vision and multimedia computing. Current solutions for searching image data primarily deal with associated text and...
Bartlett, Robert Graham, College Of Health And Science, School Of Computing And Mathematics
This thesis explores the utility of interest management in peer-to-peer environments. Specifically, it proposes: a model for formulaic specification of interest criteria that is implementation...
Heath, Jennifer, College Of Health And Science, School Of Computing And Mathematics
Existing patient medical records are a rich data source with a potential to support clinical research. Fragmentation of data across disparate medical database inhibits the use of these existing...
Crescini, Vino Fernando, College Of Health And Science, School Of Computing And Mathematics
As information systems evolve to cope with the ever increasing demand of today’s digital world, so does the need for more effective means of protecting information. In the early days of...
Leveraging knowledge-based innovation in high-tech SMEs : case studies from Taiwan (2006)
Chen, Te Fu, College Of Health And Science, School Of Computing And Mathematics
To date, the existing literature is very limited in its provision of links between knowledge management or intellectual capital with innovation. Existing studies have derived their innovation...
Multiple control levels in structured genetic alogorithms (2006)
Molfetas, Angelos, College Of Health And Science, School Of Computing And Mathematics
This work examines the impact that genes with activation relationships have on Genetic Algorithms (GAs). These activation relationships allow genes to control whether other associated genes get...
Vortex : deferred sort last parallel graphics architecture (2006)
Santilli, Abram, College Of Health And Science, School Of Computing And Mathematics
We have developed a new cluster parallel graphics architecture that improves upon prior cluster parallel graphics systems for high performance supergraphics – the Vortex deferred sort-last...
e-Marketplace development and trading agent design for supply chain management (2006)
Zhao, Kanghua, College Of Health And Science, School Of Computing And Mathematics
Supply Chain Management (SCM) deals with the planning and coordination of resource procuring, product marketing, production scheduling, and end product delivering across multiple organizations. This...
e-Marketplace development and trading agent design for supply chain management (2006)
Zhao, Kanghua, College Of Health And Science, School Of Computing And Mathematics
Supply Chain Management (SCM) deals with the planning and coordination of resource procuring, product marketing, production scheduling, and end product delivering across multiple organizations. This...