DORA Home
→
Faculty of Technology
→
Browsing Faculty of Technology by Title

Browse

All of DORA
This Community

My Account

Browsing Faculty of Technology by Title

Now showing items 1453-1472 of 4063

Formal Specification of CA-UCON model using CCA

Almutairi, Abdulgader ; Siewe, Francois (Conference)

A Context-Aware Usage CONtrol (CAUCON) model is an extension of the traditional UCON model which enables adaptation to environmental changes in the aim of preserving continuity of usage in a pervasive computing system. ...
Formalising of transactional memory using interval temporal logic (ITL)

El-kustaban, Amin Mohammed Ahmed ; Moszkowski, B. C. ; Cau, A. (Antonio) (Conference)
Formalising policies of a mLearning system using CCA.

Al-Sammarraie, Mohammed ; Siewe, Francois ; Zedan, Hussein (Conference)
Formality in design communication

Eckert, Claudia ; Stacey, Martin ; Earl, Christopher (Article)
Formality, Agility, Security and Evolution in Software Development

Bowen, J. P. ; Hinchey, Mike ; Janicke, Helge ; Ward, Martin ; Zedan, Hussein (Article)

Combining formal and agile techniques in software development has the potential to minimize change-related problems.
Formation of misfit dislocations in strained-layer GaAs/InxGa1-xAs/GaAs heterostructures during post-fabrication thermal processing

Liu, X. W ; Hopgood, Adrian A. ; Usher, B. F. ; Wang, H. ; Braithwaite, Nicholas (Nicholas St. J.) (Article)
Forming Form: The bigger picture of electroacoustic music.

Young, John (Book chapter)

Electroacoustic music’s foundation in the electronic mediation of sound—recorded, ‘live’ processed or historical—has opened up the possibility of bringing together sounds of more diverse provenance than ever before for the ...
Forming IT professionals in the internet age: a critical case study.

Stahl, Bernd Carsten, 1968- ; Wood, C. (Book chapter)
Fossil-fuel dependence and vulnerability of electricity generation: case of selected European countries

Bhattacharyya, Subhes (Article)
Fostering the user interface acceptance in customer relationship management: A multimedia-aided approach

Alotaibi, M. B. ; Rigas, D. (Conference)
Foundation for a Decision Support Framework for Optimal Sequencing of Emissions Savings Refurbishment Options in Non-Domestic Buildings

Ibn-Mohammed, T. ; Greenough, R. M. ; Taylor, S. ; Acuqaye, A. ; Ozawa-Meida, L. (Conference)
Four basic models of GM (1, 1) and their suitable sequences

Liu, S. ; Zeng, B. ; Liu, J. ; Xie, N. ; Yang, Yingjie (Article)

Purpose – The purpose of this paper is to provide a foundational reference and practical guidance for modelling small and poor data with incomplete information. Design/methodology/approach – The definitions of four ...
Fourth party logistics routing problem model with fuzzy duration time and cost discount

Cui, Y. ; Huang, Min ; Yang, Shengxiang ; Lee, L. H. ; Wang, Xingwei (Article)
Fourth party logistics routing problem with fuzzy duration time

Huang, Min ; Cui, Y. ; Yang, Shengxiang ; Wang, Xingwei (Article)
FPGA implementation of K-means algorithm for bioinformatics application: An accelerated approach to clustering Microarray data

Hussain, Hanaa ; Benkrid, K. ; Seker, H. ; Erdogan, A. T. (Conference)
Fracture and fatigue of binder and binder/filler mortar

Thom, N. H. ; Osman, S. ; Collop, Andy ; Airey, G. D. (Conference)
'Fragile' Soundtrack

Smith, Sophy (Musical Score)

Motionhouse launched its newly commissioned large-scale outdoor show Fragile in Glasgow on 25 & 26 July to be seen again on 29 & 30 August in Canterbury ay bOing! Festival. This family-friendly outdoor show is a dramatic ...
A framework for analysing the effect of "change" in legacy code

Zhou, Shikun ; Zedan, Hussein ; Cau, A. (Antonio) (Article)

We propose a sound and practical approach, based on a formal method (known as Interval Temporal Logic), to cope with “change” and analyse its effect. The approach allows us to capture a snapshot of system’s behaviour over ...
A framework for camera pose tracking using stochastic data fusion.

Moemeni, A. ; Tatham, E. (Conference)
Framework for creative/innovative systems.

Ibrahim, M. ; Bassford, Marie ; Ackerley, H. ; Almiladi, A. (Conference)

Now showing items 1453-1472 of 4063

Browsing Faculty of Technology by Title

De Montfort University Open Research Archive

Search DORA:

Browse

All of DORA

This Community

My Account

Browsing Faculty of Technology by Title