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...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखक:	Lockman, Muhammad Tarmizi
स्वरूप:	थीसिस
भाषा:	अंग्रेज़ी
प्रकाशित:	2012
विषय:	QA Mathematics
ऑनलाइन पहुंच:	http://eprints.utm.my/10042/1/MuhammadTarmiziMFSKSM2012.pdf

समान संसाधन

Reusable Automated Agent For Universal Verification Methodology System Testbench
द्वारा: Rajumanikam, R. Logeish Raj
प्रकाशित: (2015)

Mutual attestation and integrity verification of RFID system using trusted platform module (TPM) / Mohd Faizal Mubarak
द्वारा: Mubarak, Mohd Faizal
प्रकाशित: (2010)

Online signature verification using probabilistic modeling and neural network
द्वारा: Mohamed Ahsan , Amin
प्रकाशित: (2010)

Refinement of an online signature verification system
द्वारा: Shaglwf, Zaid Ibrahim
प्रकाशित: (2010)

Voter Verification Using Rubik's Cube
द्वारा: Moayed, Majid Javid
प्रकाशित: (2009)

Stroke-to-stroke matching in on-line signature verification
द्वारा: Ahmad Jaini, Azhar
प्रकाशित: (2010)

Modelling of splicing systems using formal language theory
द्वारा: Fong, Wan Heng
प्रकाशित: (2008)

Evaluation of fusion score for face verification system
द्वारा: Arfa, Reza
प्रकाशित: (2013)

Multiple classifier for on-line signature verification system
द्वारा: Esmaiel, Amjad Ali
प्रकाशित: (2009)

A model for validation and verification of disk imaging in computer forensic investigation
द्वारा: Palaniappan, P. Siva Shamala
प्रकाशित: (2009)

Verification the performance of Microsoft SQL Server / Nageswary Gannapathy
द्वारा: Nageswary , Gannapathy
प्रकाशित: (2002)

Fusion features ensembling models using Siamese convolutional neural network for kinship verification
द्वारा: Mohammed Ali, Al Muashi
प्रकाशित: (2021)

Two-dimensional barcodes for hardcopy document integrity verification
द्वारा: Teoh, Chin Yew
प्रकाशित: (2008)

Online signature verification based on dynamic feature discriminators
द्वारा: Omar, Nazaruddin
प्रकाशित: (2009)

New variants of insertion and deletion systems in formal languages
द्वारा: Yosman, Ahmad Firdaus
प्रकाशित: (2017)

The design and verification of malay text to speech synthesis system
द्वारा: Tan, Tian Swee
प्रकाशित: (2004)

Qibla direction verification of Arau Royal Old Tomb using : UAV technique / Muhizee Sahat
द्वारा: Sahat, Muhizee
प्रकाशित: (2018)

Verification of boundary integral equation for conformal mapping of doubly connected regions onto a disk with a slit
द्वारा: Lai, Tze Wee
प्रकाशित: (2010)

Registration verification using image of an object / Sabariah Rawi
द्वारा: Rawi, Sabariah
प्रकाशित: (2007)

Forged signature verification by using video spectral comparator
द्वारा: Shapie , Haslinda
प्रकाशित: (2010)

Bonded sequential and parallel insertion-deletion systems in formal language theory
द्वारा: Yosman, Ahmad Firdaus
प्रकाशित: (2022)

Speaker verification using neural responses from the model of the auditory system / Noor Fadzilah Razali
द्वारा: Noor Fadzilah , Razali
प्रकाशित: (2014)

Account verification to prevent malicious users access in web-based forums
द्वारा: Tabar, Mahdi Taheri
प्रकाशित: (2013)

Human face verification under illumination variation
द्वारा: Emadi, Mehran
प्रकाशित: (2013)

Trustworthiness verification method for social media information
द्वारा: Khairuddin Yap, Mohamad Nazri
प्रकाशित: (2022)

Modeling activity diagram to colored petri net for validation and verification based on non functional parameters
द्वारा: Balagatabi, Hossein Nematzadeh
प्रकाशित: (2008)

Modelling and experimental verification of portable ultrafiltration system for drinking water production / Azman Ariffin
द्वारा: Azman , Ariffin
प्रकाशित: (2025)

Brachytherapy dose verification using gafchromic EBT3 film
द्वारा: Ismail, Nur Alya Irdina
प्रकाशित: (2020)

Modeling and experimental verification of multiphase steel for components subjected to fatigue loading
द्वारा: Idris, Roslinda
प्रकाशित: (2012)

Functional Verification Test Time Reduction Through Behavioral Functional Model
द्वारा: Lee , Chee Keng
प्रकाशित: (2014)

Self-Verification Of Public-Key Agreement Over Voip Using Random Fusion Scheme
द्वारा: Alfin Syafalni, Alfin Syafalni
प्रकाशित: (2016)

Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters
द्वारा: Balagatabi, Hossein Nematzadeh
प्रकाशित: (2008)

QYPS HPS Interconnect verification methodology for SOC FPGA
द्वारा: Loh , Tat Jen
प्रकाशित: (2013)

Agnostic Validation Test Bench For Efuse Connectivity Verification
द्वारा: CHAN , WEI JIAN
प्रकाशित: (2017)

Principal component analysis dimensionality reduction for writer verification
द्वारा: Ramlee, Rimashadira
प्रकाशित: (2015)

Formal language theory and DNA
द्वारा: Mohd. Ali, Nor Muhainiah
प्रकाशित: (2004)

The Performance Of User Verification Using Two Fingerprint Based On Error Rate
द्वारा: Mohamad Amir, Abu Seman
प्रकाशित: (2002)

Partial Verification Bias Correction In Diagnostic Accuracy Studies Using Propensity Score-Based Methods
द्वारा: Wan Mansor, Wan Nor Arifin
प्रकाशित: (2023)

A telecobalt60-computed radiography verification model to improve the certainty of the irradiation
द्वारा: Hendrik
प्रकाशित: (2023)

Offline signature verification using ordinal structure fuzzy logic and integrated features based on single signature
द्वारा: Abdulfattah, Ghassan Marwan
प्रकाशित: (2019)