Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for +publisher:"McMaster University" +contributor:("Khedri, Ridha"). Showing records 1 – 9 of 9 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


McMaster University

1. Marinache, Alicia. On the Structural Link Between Ontologies and Organised Data Sets.

Degree: MASc, 2016, McMaster University

The proposed work focuses on articulating a mathematical framework to capture the structure of an ontology and relate it to organised data sets. In the… (more)

Subjects/Keywords: ontology; structured data sets; mathematical framework; cylindric algebra; reasoning; information system

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Marinache, A. (2016). On the Structural Link Between Ontologies and Organised Data Sets. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/18950

Chicago Manual of Style (16th Edition):

Marinache, Alicia. “On the Structural Link Between Ontologies and Organised Data Sets.” 2016. Masters Thesis, McMaster University. Accessed April 16, 2021. http://hdl.handle.net/11375/18950.

MLA Handbook (7th Edition):

Marinache, Alicia. “On the Structural Link Between Ontologies and Organised Data Sets.” 2016. Web. 16 Apr 2021.

Vancouver:

Marinache A. On the Structural Link Between Ontologies and Organised Data Sets. [Internet] [Masters thesis]. McMaster University; 2016. [cited 2021 Apr 16]. Available from: http://hdl.handle.net/11375/18950.

Council of Science Editors:

Marinache A. On the Structural Link Between Ontologies and Organised Data Sets. [Masters Thesis]. McMaster University; 2016. Available from: http://hdl.handle.net/11375/18950


McMaster University

2. LeClair, Andrew. Conto: A Prototype Tool for the Generation and Utilization of a Configured Ontology.

Degree: MASc, 2016, McMaster University

With the massive deluges of data that several domains of study experience, referred to as Big Data, the need to efficiently process and analyze data… (more)

Subjects/Keywords: Ontology; Concept Interpretation; Protege

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

LeClair, A. (2016). Conto: A Prototype Tool for the Generation and Utilization of a Configured Ontology. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/18947

Chicago Manual of Style (16th Edition):

LeClair, Andrew. “Conto: A Prototype Tool for the Generation and Utilization of a Configured Ontology.” 2016. Masters Thesis, McMaster University. Accessed April 16, 2021. http://hdl.handle.net/11375/18947.

MLA Handbook (7th Edition):

LeClair, Andrew. “Conto: A Prototype Tool for the Generation and Utilization of a Configured Ontology.” 2016. Web. 16 Apr 2021.

Vancouver:

LeClair A. Conto: A Prototype Tool for the Generation and Utilization of a Configured Ontology. [Internet] [Masters thesis]. McMaster University; 2016. [cited 2021 Apr 16]. Available from: http://hdl.handle.net/11375/18947.

Council of Science Editors:

LeClair A. Conto: A Prototype Tool for the Generation and Utilization of a Configured Ontology. [Masters Thesis]. McMaster University; 2016. Available from: http://hdl.handle.net/11375/18947


McMaster University

3. Zhang, Qinglei. Aspect-Oriented Product Family Modeling.

Degree: PhD, 2013, McMaster University

The set of related products is referred to as a product family, and feature-modeling is a widely used technique to capture the commonalities and… (more)

Subjects/Keywords: Aspect-Oriented Paradigm; Feature Modeling; Product Family Algebra; Formal Methods; Other Computer Engineering; Other Computer Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Zhang, Q. (2013). Aspect-Oriented Product Family Modeling. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/13200

Chicago Manual of Style (16th Edition):

Zhang, Qinglei. “Aspect-Oriented Product Family Modeling.” 2013. Doctoral Dissertation, McMaster University. Accessed April 16, 2021. http://hdl.handle.net/11375/13200.

MLA Handbook (7th Edition):

Zhang, Qinglei. “Aspect-Oriented Product Family Modeling.” 2013. Web. 16 Apr 2021.

Vancouver:

Zhang Q. Aspect-Oriented Product Family Modeling. [Internet] [Doctoral dissertation]. McMaster University; 2013. [cited 2021 Apr 16]. Available from: http://hdl.handle.net/11375/13200.

Council of Science Editors:

Zhang Q. Aspect-Oriented Product Family Modeling. [Doctoral Dissertation]. McMaster University; 2013. Available from: http://hdl.handle.net/11375/13200


McMaster University

4. Alabbad, Mohammed. A Feature Modelling Language Based on Product Family Algebra.

Degree: MASc, 2013, McMaster University

Feature modelling is an emerging software engineering paradigm, which helps organizations to develop products from core assets. Products are organized into families that share… (more)

Subjects/Keywords: feature modelling; language; software product lines; product families; Software Engineering; Software Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Alabbad, M. (2013). A Feature Modelling Language Based on Product Family Algebra. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/13324

Chicago Manual of Style (16th Edition):

Alabbad, Mohammed. “A Feature Modelling Language Based on Product Family Algebra.” 2013. Masters Thesis, McMaster University. Accessed April 16, 2021. http://hdl.handle.net/11375/13324.

MLA Handbook (7th Edition):

Alabbad, Mohammed. “A Feature Modelling Language Based on Product Family Algebra.” 2013. Web. 16 Apr 2021.

Vancouver:

Alabbad M. A Feature Modelling Language Based on Product Family Algebra. [Internet] [Masters thesis]. McMaster University; 2013. [cited 2021 Apr 16]. Available from: http://hdl.handle.net/11375/13324.

Council of Science Editors:

Alabbad M. A Feature Modelling Language Based on Product Family Algebra. [Masters Thesis]. McMaster University; 2013. Available from: http://hdl.handle.net/11375/13324


McMaster University

5. Jaskolka, Jason. On the Modelling, Analysis, and Mitigation of Distributed Covert Channels.

Degree: PhD, 2015, McMaster University

Covert channels are means of communication that allow agents in a system to transfer information in a manner that violates the system’s security policy. Covert… (more)

Subjects/Keywords: distributed covert channels; security; communicating concurrent Kleene algebra; formal methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Jaskolka, J. (2015). On the Modelling, Analysis, and Mitigation of Distributed Covert Channels. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/16872

Chicago Manual of Style (16th Edition):

Jaskolka, Jason. “On the Modelling, Analysis, and Mitigation of Distributed Covert Channels.” 2015. Doctoral Dissertation, McMaster University. Accessed April 16, 2021. http://hdl.handle.net/11375/16872.

MLA Handbook (7th Edition):

Jaskolka, Jason. “On the Modelling, Analysis, and Mitigation of Distributed Covert Channels.” 2015. Web. 16 Apr 2021.

Vancouver:

Jaskolka J. On the Modelling, Analysis, and Mitigation of Distributed Covert Channels. [Internet] [Doctoral dissertation]. McMaster University; 2015. [cited 2021 Apr 16]. Available from: http://hdl.handle.net/11375/16872.

Council of Science Editors:

Jaskolka J. On the Modelling, Analysis, and Mitigation of Distributed Covert Channels. [Doctoral Dissertation]. McMaster University; 2015. Available from: http://hdl.handle.net/11375/16872


McMaster University

6. Fadul, Reham. Quantitative Assessment of Nonfunctional Requirements in Product Families.

Degree: MASc, 2014, McMaster University

Modelling nonfunctional requirements, along with many other NFR-related concerns, have not been addressed properly in the literature. Although nonfunctional requirements (or quality attributes) are important,… (more)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Fadul, R. (2014). Quantitative Assessment of Nonfunctional Requirements in Product Families. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/16053

Chicago Manual of Style (16th Edition):

Fadul, Reham. “Quantitative Assessment of Nonfunctional Requirements in Product Families.” 2014. Masters Thesis, McMaster University. Accessed April 16, 2021. http://hdl.handle.net/11375/16053.

MLA Handbook (7th Edition):

Fadul, Reham. “Quantitative Assessment of Nonfunctional Requirements in Product Families.” 2014. Web. 16 Apr 2021.

Vancouver:

Fadul R. Quantitative Assessment of Nonfunctional Requirements in Product Families. [Internet] [Masters thesis]. McMaster University; 2014. [cited 2021 Apr 16]. Available from: http://hdl.handle.net/11375/16053.

Council of Science Editors:

Fadul R. Quantitative Assessment of Nonfunctional Requirements in Product Families. [Masters Thesis]. McMaster University; 2014. Available from: http://hdl.handle.net/11375/16053


McMaster University

7. Jaskolka, Jason. Modeling, Analysis, and Detection of Information Leakage via Protocol-Based Covert Channels.

Degree: MASc, 2010, McMaster University

With the emergence of computers in every day activities and with the ever-growing complexity of networks and network protocols, covert channels are becoming an… (more)

Subjects/Keywords: Software Engineering; Software Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Jaskolka, J. (2010). Modeling, Analysis, and Detection of Information Leakage via Protocol-Based Covert Channels. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/9018

Chicago Manual of Style (16th Edition):

Jaskolka, Jason. “Modeling, Analysis, and Detection of Information Leakage via Protocol-Based Covert Channels.” 2010. Masters Thesis, McMaster University. Accessed April 16, 2021. http://hdl.handle.net/11375/9018.

MLA Handbook (7th Edition):

Jaskolka, Jason. “Modeling, Analysis, and Detection of Information Leakage via Protocol-Based Covert Channels.” 2010. Web. 16 Apr 2021.

Vancouver:

Jaskolka J. Modeling, Analysis, and Detection of Information Leakage via Protocol-Based Covert Channels. [Internet] [Masters thesis]. McMaster University; 2010. [cited 2021 Apr 16]. Available from: http://hdl.handle.net/11375/9018.

Council of Science Editors:

Jaskolka J. Modeling, Analysis, and Detection of Information Leakage via Protocol-Based Covert Channels. [Masters Thesis]. McMaster University; 2010. Available from: http://hdl.handle.net/11375/9018


McMaster University

8. Alturki, Fadil. Jory: A Tool for Feature Modelling Based on Product Families Algebra and BDDs.

Degree: MS, 2010, McMaster University

p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 11.5px Times} Feature models are commonly used to capture the commonalities and the variability of product families.… (more)

Subjects/Keywords: Computer Sciences; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Alturki, F. (2010). Jory: A Tool for Feature Modelling Based on Product Families Algebra and BDDs. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/9040

Chicago Manual of Style (16th Edition):

Alturki, Fadil. “Jory: A Tool for Feature Modelling Based on Product Families Algebra and BDDs.” 2010. Masters Thesis, McMaster University. Accessed April 16, 2021. http://hdl.handle.net/11375/9040.

MLA Handbook (7th Edition):

Alturki, Fadil. “Jory: A Tool for Feature Modelling Based on Product Families Algebra and BDDs.” 2010. Web. 16 Apr 2021.

Vancouver:

Alturki F. Jory: A Tool for Feature Modelling Based on Product Families Algebra and BDDs. [Internet] [Masters thesis]. McMaster University; 2010. [cited 2021 Apr 16]. Available from: http://hdl.handle.net/11375/9040.

Council of Science Editors:

Alturki F. Jory: A Tool for Feature Modelling Based on Product Families Algebra and BDDs. [Masters Thesis]. McMaster University; 2010. Available from: http://hdl.handle.net/11375/9040


McMaster University

9. Al-Azzoni, Issam. The Verification of Cryptographic Protocols Using Coloured Petri Nets.

Degree: MASc, 2004, McMaster University

Master of Applied Science (MASc) Advisors/Committee Members: Down, Doug, Khedri, Ridha, Software Engineering.

Subjects/Keywords: Software Engineering; Other Engineering; Other Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Al-Azzoni, I. (2004). The Verification of Cryptographic Protocols Using Coloured Petri Nets. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/13068

Chicago Manual of Style (16th Edition):

Al-Azzoni, Issam. “The Verification of Cryptographic Protocols Using Coloured Petri Nets.” 2004. Masters Thesis, McMaster University. Accessed April 16, 2021. http://hdl.handle.net/11375/13068.

MLA Handbook (7th Edition):

Al-Azzoni, Issam. “The Verification of Cryptographic Protocols Using Coloured Petri Nets.” 2004. Web. 16 Apr 2021.

Vancouver:

Al-Azzoni I. The Verification of Cryptographic Protocols Using Coloured Petri Nets. [Internet] [Masters thesis]. McMaster University; 2004. [cited 2021 Apr 16]. Available from: http://hdl.handle.net/11375/13068.

Council of Science Editors:

Al-Azzoni I. The Verification of Cryptographic Protocols Using Coloured Petri Nets. [Masters Thesis]. McMaster University; 2004. Available from: http://hdl.handle.net/11375/13068

.