A formal approach to modelling and verification of context-aware systems

QR Code

A formal approach to modelling and verification of context-aware systems

The evolution of smart devices and software technologies has expanded the domain of computing from workplaces to other areas of our everyday life. This trend has been rapidly advancing towards ubiquitous computing environments, where smart devices play an important role in acting intelligently on be...

Full description

Bibliographic Details
Main Author:	Ul-Haque, Hafiz Mahfooz
Format:	Thesis (University of Nottingham only)
Language:	English
Published:	2017
Subjects:	logical frameworks LOCRS LDROCS communication modalities
Online Access:	https://eprints.nottingham.ac.uk/39185/

Similar Items

Rule-based and Resource-bounded: A New Look at Epistemic Logic
by: Jago, Mark
Published: (2006)

Agent-Based Logics in Dependent Type Theory
by: Baston, Colm
Published: (2025)

Formal verification of RFID system using model verification agent
by: Lockman, Muhammad Tarmizi
Published: (2012)

The directive function of the English modals
by: Butler, Christopher
Published: (1982)

Performance measurement under increasing environmental uncertainty in the context of interval type-2 fuzzy logic based robotic sailing
by: Benatar, Naisan, et al.
Published: (2013)

Guru Penjana Modal Insan Gemilang
Published: (2008)

Laluan pendidikan ke peringkat global
Published: (2013)

Fuzzy logic controller for roof sprinkler cooling system / Faizzudin Sahazudin , Nooraini Yusoff and Fadzilah Siraj
by: Yusoff, Nooraini, et al.
Published: (2018)

Design and development of a handheld bluetooth-based application system framework for controlling and monitoring remote devices
by: Saadat, Md. Nazmus
Published: (2006)

3D object recognition using affine moment invariants and multiple adaptive network based fuzzy inference system / Muhammad Khusairi Osman … [et al.]
by: Osman, Muhammad Khusairi
Published: (2009)

Universiti Teknologi MARA application system using modified neuro-fuzzy approach / Nor Eleena Yusoff
by: Yusoff, Nor Eleena
Published: (2014)

Bi-modal stimulation in the treatment of tinnitus: a study protocol for an exploratory trial to optimise stimulation parameters and patient subtyping
by: D’Arcy, Shona, et al.
Published: (2017)

Contextual dimensions of conversational implicature
by: Walker, Khalil
Published: (2007)

Developing a taxonomic framework for creativity in a problem-solving context: a research in the higher education context
by: Chai, Xun Yu
Published: (2022)

A hybrid approach of hidden Markov model and fuzzy logic for isolated handwritten characters recognition
by: Suliman, Azizah
Published: (2011)

Arithmetic logic unit (ALU) - bit slice approach.
by: Suparjo, Bambang Sunaryo, et al.

A fuzzy logic model for students' scholarship selection / Nor Hashimah Sulaiman and Daud Mohamad
by: Sulaiman, Nor Hashimah, et al.
Published: (2006)

DEVELOPING A FORMAL AND INTEGRATED RISK MANAGEMENT FRAMEWORK IN THE HIGHER EDUCATION SECTOR: A case study on the University of Nottingham
by: Abdul Halim, Kameel
Published: (2007)

The spiritual VS physical certainties (اليقين): inspirations from al-Ghazali`s intellectual heritage
by: Shogar, Ibrahim
Published: (2017)

Analysing fuzzy sets through combining measures of similarity and distance
by: McCulloch, Josie, et al.
Published: (2014)

Extending similarity measures of interval type-2 fuzzy sets to general type-2 fuzzy sets
by: McCulloch, Josie, et al.
Published: (2013)

Measuring the directional distance between fuzzy sets
by: McCulloch, Josie, et al.
Published: (2013)

A fuzzy directional distance measure
by: McCulloch, Josie, et al.
Published: (2014)

Developing touchscreen numeracy learning application for children with autism / Muhamad Fairus Kamaruzaman
by: Kamaruzaman, Muhamad Fairus
Published: (2018)

Dynamical fuzzy autocatalytic set of combustion process in circulating fluidized bed boiler using transition matrix / Hazwani Hashim
by: Hashim, Hazwani
Published: (2014)

An investigation on devoutness Islamic prayer among female college students through biofeedback
by: Jing, Wang
Published: (2013)

盛唐山水诗中的自然生态观研究
by: Chuah, Wan Cheng, et al.
Published: (2016)

A Fuzzy Logic Approach to Explaining Aggregate Investment in Indonesia, Malaysia, Thailand and Philippines
by: Kan, Chung Yan
Published: (2008)

A fuzzy approach to portfolio selection at bursa Malaysia / Wan Rosanisah Wan Mohd
by: Wan Mohd, Wan Rosanisah
Published: (2014)

Evaluation of pre-diploma students using fuzzy approach / Zamali Tarmudi, Mazalan Sarahintu and Ajis Lepit
by: Tarmudi, Zamali, et al.
Published: (2015)

Context dependent fuzzy modelling and its applications
by: Ho, Duc Thang
Published: (2013)

Against strong pluralism
by: Noonan, Harold W.
Published: (2015)

Khaled : Key focus is on human capital
Published: (2011)

Membangunkan modal insan
Published: (2011)

Prospek program hospitaliti
Published: (2011)

Coalition announcements
by: Galimullin, Rustam
Published: (2019)

Reka bentuk dan implementasi suatu penghurai Bahasa Melayu menggunakan sistem logik selari
by: Ramli, Suzaimah
Published: (2002)

Soft biometric system using fuzzy logic decision fusion for identification
by: Ayodeji, Arigbabu Olasimbo
Published: (2014)

Development of operational modal analysis techniques in wind tunnel environment for a cantilevered composite wing model
by: Che Saffry, Zetty Azleen
Published: (2015)

A formal veriﬁcation and simulation of Common Criteria Recognition Arrangement (CCRA)
by: Mat Isa, Mohd Anuar, et al.
Published: (2017)