Lee, Uk-Jin : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (19)
Les plus populaires
Liste
- Liste
- Tableau

1

A Z Approach in Validating ORA-SS Data Models

Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Yuan Fang Li

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 266 KB

english, 2006

2

Theorem prover approach to semistructured data design

Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves

Journal:

Formal Methods in System Design

Année:

2010

Langue:

english

Fichier:

PDF, 2.85 MB

english, 2010

3

[IEEE 2008 19th Australian Conference on Software Engineering ASWEC - Perth, Australia (2008.03.26-2008.03.28)] 19th Australian Conference on Software Engineering (aswec 2008) - Correctness Criteria for Normalization of Semistructured Data

Lee, Scott Uk-Jin, Sun, Jing, Dobbie, Gillian, Groves, Lindsay, Li, Yuan Fang

Année:

2008

Langue:

english

Fichier:

PDF, 357 KB

english, 2008

4

[IEEE 2008 13th IEEE International Conference on Engineering of Complex Computer Systems - (ICECCS) - Belfast, Northern Ireland (2008.03.31-2008.04.3)] 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) - Verifying Semistructured Data Normalization Using PVS

Lee, Scott Uk-Jin, Sun, Jing, Dobbie, Gillian, Groves, Lindsay

Année:

2008

Langue:

english

Fichier:

PDF, 284 KB

english, 2008

5

An Improved Method of Avoiding RF Congestion in Indoor Environments

Lee, Jae-Ho, Kho, Sung-Jae, Jang, Uk-Jin, Hong, Youn-Sik

Journal:

Procedia Engineering

Année:

2016

Langue:

english

Fichier:

PDF, 447 KB

english, 2016

6

Binary Pattern for Nested Cardinality Constraints for Software Product Line of IoT-Based Feature Models

Abbas, Asad, Siddiqui, Isma Farah, Lee, Scott Uk-Jin, Bashir, Ali Kashif

Journal:

Année:

2017

Langue:

english

Fichier:

PDF, 1.11 MB

english, 2017

7

Optimizing Lifespan and Energy Consumption by Smart Meters in Green-Cloud-Based Smart Grids

Siddiqui, Isma Farah, Lee, Scott Uk-Jin, Abbas, Asad, Bashir, Ali Kashif

Journal:

Année:

2017

Langue:

english

Fichier:

PDF, 15.65 MB

english, 2017

8

Multi-Objective Optimum Solutions for IoT-based Feature Models of Software Product Line

Abbas, Asad, Siddiqui, Isma Farah, Lee, Scott Uk-Jin, Bashir, Ali Kashif, Ejaz, Waleed, Qureshi, Nawab Muhammad Faseeh

Journal:

Année:

2018

Langue:

english

Fichier:

PDF, 631 KB

english, 2018

9

Stuck-at Fault Analytics of IoT Devices Using Knowledge-based Data Processing Strategy in Smart Grid

Siddiqui, Isma Farah, Qureshi, Nawab Muhammad Faseeh, Shaikh, Muhammad Akram, Chowdhry, Bhawani Shankar, Abbas, Asad, Bashir, Ali Kashif, Lee, Scott Uk-Jin

Journal:

Wireless Personal Communications

Année:

2018

Langue:

english

Fichier:

PDF, 1.59 MB

english, 2018

10

NEDD4-induced degradative ubiquitination of phosphatidylinositol 4-phosphate 5-kinase α and its implication in breast cancer cell proliferation

Tran, Mai Hoang, Seo, Eunjeong, Min, Soohong, Nguyen, Quynh-Anh T., Choi, Juyong, Lee, Uk-Jin, Hong, Soon-Sun, Kang, Hyuk, Mansukhani, Alka, Jou, Ilo, Lee, Sang Yoon

Journal:

Journal of Cellular and Molecular Medicine

Année:

2018

Langue:

english

Fichier:

PDF, 1.20 MB

english, 2018

11

An Effective Methodology with Automated Product Configuration for Software Product Line Development

Lee, Scott Uk-Jin

Journal:

Mathematical Problems in Engineering

Année:

2015

Langue:

english

Fichier:

PDF, 2.03 MB

english, 2015

12

A Comparative Study of Multithreading APIs for Software of ICT Equipment

Farah Siddiqui, Isma, Abbas, Asad, Rahim Mohamed Ariffin, Abdul, Uk-Jin Lee, Scott

Journal:

Indian Journal of Science and Technology

Année:

2016

Langue:

english

Fichier:

PDF, 260 KB

english, 2016

13

An Approach for Optimized Feature Selection in Software Product Lines using Union-Find and Genetic Algorithms

Abbas, Asad, Wu, Zhiqiang, Siddiqui, Isma Farah, Uk-Jin Lee, Scott

Journal:

Indian Journal of Science and Technology

Année:

2016

Langue:

english

Fichier:

PDF, 304 KB

english, 2016

14

Multi-Objective Optimization of Feature Model in Software Product Line: Perspectives and Challenges

Abbas, Asad, Farah Siddiqui, Isma, Uk-Jin Lee, Scott

Journal:

Indian Journal of Science and Technology

Année:

2016

Langue:

english

Fichier:

PDF, 461 KB

english, 2016

15

An Empirical Study over Correctness Properties for Multithreaded Programs

Mohamed Ariffin, Abdul Rahim, Siddiqui, Isma Farah, Uk-Jin Lee, Scott

Journal:

Indian Journal of Science and Technology

Année:

2016

Langue:

english

Fichier:

PDF, 456 KB

english, 2016

16

[IEEE 2019 26th Asia-Pacific Software Engineering Conference (APSEC) - Putrajaya, Malaysia (2019.12.2-2019.12.5)] 2019 26th Asia-Pacific Software Engineering Conference (APSEC) - Achieving Abstract Machine Reachability with Learning-Based Model Fulfilment

Cai, Cheng-Hao, Sun, Jing, Dobbie, Gillian, Lee, Scott Uk-Jin

Année:

2019

Fichier:

PDF, 195 KB

2019

17

Machine Learning Evaluation of the Requirement Engineering Process Models for Cloud Computing and Security Issues

Nadeem, Muhammad Asgher, Lee, Scott Uk-Jin

Journal:

Applied Sciences

Année:

2020

Fichier:

PDF, 1.50 MB

2020

18

Integrated Formal Tools for Software Architecture Smell Detection

Chondamrongkul, Nacha, Sun, Jing, Warren, Ian, Lee, Scott Uk-Jin

Journal:

International Journal of Software Engineering and Knowledge Engineering

Année:

2020

Fichier:

PDF, 3.92 MB

2020

19

[IEEE 2020 Second International Conference on Blockchain Computing and Applications (BCCA) - Antalya (2020.11.2-2020.11.5)] 2020 Second International Conference on Blockchain Computing and Applications (BCCA) - Why the new consensus mechanism is needed in blockchain technology?

Naz, Sana, Lee, Scott Uk-Jin

Année:

2020

Fichier:

PDF, 1.14 MB

2020