Formal verification of RFID system using model verification agent

Radio Frequency Identification (RFID) technology has brought about revolutionary changes to software system development that supports major applications in advanced business and asset management. Over the years, many RFID applications have been implemented and integrated into the existing system esp...

Description complète

Détails bibliographiques
Auteur principal:	Lockman, Muhammad Tarmizi
Format:	Thèse
Langue:	anglais
Publié:	2012
Sujets:	QA Mathematics
Accès en ligne:	http://eprints.utm.my/10042/1/MuhammadTarmiziMFSKSM2012.pdf

Documents similaires

Reusable Automated Agent For Universal Verification Methodology System Testbench
par: Rajumanikam, R. Logeish Raj
Publié: (2015)

Mutual attestation and integrity verification of RFID system using trusted platform module (TPM) / Mohd Faizal Mubarak
par: Mubarak, Mohd Faizal
Publié: (2010)

Online signature verification using probabilistic modeling and neural network
par: Mohamed Ahsan , Amin
Publié: (2010)

Refinement of an online signature verification system
par: Shaglwf, Zaid Ibrahim
Publié: (2010)

Voter Verification Using Rubik's Cube
par: Moayed, Majid Javid
Publié: (2009)

Stroke-to-stroke matching in on-line signature verification
par: Ahmad Jaini, Azhar
Publié: (2010)

Modelling of splicing systems using formal language theory
par: Fong, Wan Heng
Publié: (2008)

Evaluation of fusion score for face verification system
par: Arfa, Reza
Publié: (2013)

Multiple classifier for on-line signature verification system
par: Esmaiel, Amjad Ali
Publié: (2009)

A model for validation and verification of disk imaging in computer forensic investigation
par: Palaniappan, P. Siva Shamala
Publié: (2009)

Verification the performance of Microsoft SQL Server / Nageswary Gannapathy
par: Nageswary , Gannapathy
Publié: (2002)

Fusion features ensembling models using Siamese convolutional neural network for kinship verification
par: Mohammed Ali, Al Muashi
Publié: (2021)

Two-dimensional barcodes for hardcopy document integrity verification
par: Teoh, Chin Yew
Publié: (2008)

Online signature verification based on dynamic feature discriminators
par: Omar, Nazaruddin
Publié: (2009)

New variants of insertion and deletion systems in formal languages
par: Yosman, Ahmad Firdaus
Publié: (2017)

The design and verification of malay text to speech synthesis system
par: Tan, Tian Swee
Publié: (2004)

Qibla direction verification of Arau Royal Old Tomb using : UAV technique / Muhizee Sahat
par: Sahat, Muhizee
Publié: (2018)

Verification of boundary integral equation for conformal mapping of doubly connected regions onto a disk with a slit
par: Lai, Tze Wee
Publié: (2010)

Registration verification using image of an object / Sabariah Rawi
par: Rawi, Sabariah
Publié: (2007)

Forged signature verification by using video spectral comparator
par: Shapie , Haslinda
Publié: (2010)

Bonded sequential and parallel insertion-deletion systems in formal language theory
par: Yosman, Ahmad Firdaus
Publié: (2022)

Speaker verification using neural responses from the model of the auditory system / Noor Fadzilah Razali
par: Noor Fadzilah , Razali
Publié: (2014)

Account verification to prevent malicious users access in web-based forums
par: Tabar, Mahdi Taheri
Publié: (2013)

Human face verification under illumination variation
par: Emadi, Mehran
Publié: (2013)

Trustworthiness verification method for social media information
par: Khairuddin Yap, Mohamad Nazri
Publié: (2022)

Modeling activity diagram to colored petri net for validation and verification based on non functional parameters
par: Balagatabi, Hossein Nematzadeh
Publié: (2008)

Modelling and experimental verification of portable ultrafiltration system for drinking water production / Azman Ariffin
par: Azman , Ariffin
Publié: (2025)

Brachytherapy dose verification using gafchromic EBT3 film
par: Ismail, Nur Alya Irdina
Publié: (2020)

Modeling and experimental verification of multiphase steel for components subjected to fatigue loading
par: Idris, Roslinda
Publié: (2012)

Functional Verification Test Time Reduction Through Behavioral Functional Model
par: Lee , Chee Keng
Publié: (2014)

Self-Verification Of Public-Key Agreement Over Voip Using Random Fusion Scheme
par: Alfin Syafalni, Alfin Syafalni
Publié: (2016)

Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters
par: Balagatabi, Hossein Nematzadeh
Publié: (2008)

QYPS HPS Interconnect verification methodology for SOC FPGA
par: Loh , Tat Jen
Publié: (2013)

Agnostic Validation Test Bench For Efuse Connectivity Verification
par: CHAN , WEI JIAN
Publié: (2017)

Principal component analysis dimensionality reduction for writer verification
par: Ramlee, Rimashadira
Publié: (2015)

Formal language theory and DNA
par: Mohd. Ali, Nor Muhainiah
Publié: (2004)

The Performance Of User Verification Using Two Fingerprint Based On Error Rate
par: Mohamad Amir, Abu Seman
Publié: (2002)

Partial Verification Bias Correction In Diagnostic Accuracy Studies Using Propensity Score-Based Methods
par: Wan Mansor, Wan Nor Arifin
Publié: (2023)

A telecobalt60-computed radiography verification model to improve the certainty of the irradiation
par: Hendrik
Publié: (2023)

Offline signature verification using ordinal structure fuzzy logic and integrated features based on single signature
par: Abdulfattah, Ghassan Marwan
Publié: (2019)