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 subject:( property validation). Showing records 1 – 5 of 5 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Gromitsari Maragianni, Paraskevi. Le droit forestier : étude comparée de la France et de la Grèce : Forestry law : a comparative study between France and Greece.

Degree: Docteur es, Sciences juridiques, 2016, Paris 1

L'objet du présent travail est le droit forestier du point de vue comparé: entre la France et la Grèce. Dans ces deux pays, le droit… (more)

Subjects/Keywords: Défrichement; Développement durable; Domaine; Économie; Environnement; Propriété; Urbanisme; Valorisation; Clearing; Sustainable development; Domain; Economics; Environment; Property; Town planning; Validation; 340

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gromitsari Maragianni, P. (2016). Le droit forestier : étude comparée de la France et de la Grèce : Forestry law : a comparative study between France and Greece. (Doctoral Dissertation). Paris 1. Retrieved from http://www.theses.fr/2016PA01D054

Chicago Manual of Style (16th Edition):

Gromitsari Maragianni, Paraskevi. “Le droit forestier : étude comparée de la France et de la Grèce : Forestry law : a comparative study between France and Greece.” 2016. Doctoral Dissertation, Paris 1. Accessed September 23, 2019. http://www.theses.fr/2016PA01D054.

MLA Handbook (7th Edition):

Gromitsari Maragianni, Paraskevi. “Le droit forestier : étude comparée de la France et de la Grèce : Forestry law : a comparative study between France and Greece.” 2016. Web. 23 Sep 2019.

Vancouver:

Gromitsari Maragianni P. Le droit forestier : étude comparée de la France et de la Grèce : Forestry law : a comparative study between France and Greece. [Internet] [Doctoral dissertation]. Paris 1; 2016. [cited 2019 Sep 23]. Available from: http://www.theses.fr/2016PA01D054.

Council of Science Editors:

Gromitsari Maragianni P. Le droit forestier : étude comparée de la France et de la Grèce : Forestry law : a comparative study between France and Greece. [Doctoral Dissertation]. Paris 1; 2016. Available from: http://www.theses.fr/2016PA01D054


Open Universiteit Nederland

2. van der Hoeven R. Design and validation of project execution KPIs with EXTREME .

Degree: 2018, Open Universiteit Nederland

 In the field of performance management, KPI design and property validation has been extensively researched. Many theories and models have been proposed, claiming that these… (more)

Subjects/Keywords: Performance management; KPI design; property validation; EXTREME method; project execution proces; PRINCE2®; time-based goals; design-science research guidelines

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

R., v. d. H. (2018). Design and validation of project execution KPIs with EXTREME . (Masters Thesis). Open Universiteit Nederland. Retrieved from http://hdl.handle.net/1820/9572

Chicago Manual of Style (16th Edition):

R., van der Hoeven. “Design and validation of project execution KPIs with EXTREME .” 2018. Masters Thesis, Open Universiteit Nederland. Accessed September 23, 2019. http://hdl.handle.net/1820/9572.

MLA Handbook (7th Edition):

R., van der Hoeven. “Design and validation of project execution KPIs with EXTREME .” 2018. Web. 23 Sep 2019.

Vancouver:

R. vdH. Design and validation of project execution KPIs with EXTREME . [Internet] [Masters thesis]. Open Universiteit Nederland; 2018. [cited 2019 Sep 23]. Available from: http://hdl.handle.net/1820/9572.

Council of Science Editors:

R. vdH. Design and validation of project execution KPIs with EXTREME . [Masters Thesis]. Open Universiteit Nederland; 2018. Available from: http://hdl.handle.net/1820/9572

3. Dang, Kim Dung. Aide à la réalisation de systèmes de pilotage de narration interactive : validation d'un scénario basée sur un modèle en logique linéaire : Towards the realization of interactive storytelling control systems : validation of a scenario based on a linear logic model.

Degree: Docteur es, Informatique et applications, 2013, La Rochelle

 L’objectif de cette thèse est de fournir un modèle, une méthode et un outil d’aide à la réalisation de scénarios interactifs. Cette solution répond au… (more)

Subjects/Keywords: Jeu; Jeu vidéo; Histoire; Discours; Scénario; Narration; Interactivié; Discours interactif; Narration interactive; Propriété de narration; Modélisation et validation de scénario; Système auteur; Système de pilotage; Logique linéaire; Modèle formel; Game; Vidéo game; Story; Discourse; Scenario; Storytelling; Interactivity; Interactive discourse; Interactive storytelling; Narrative property; Scenario modeling and validation; Authoring system; Control system; Linear logic; Formal model

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dang, K. D. (2013). Aide à la réalisation de systèmes de pilotage de narration interactive : validation d'un scénario basée sur un modèle en logique linéaire : Towards the realization of interactive storytelling control systems : validation of a scenario based on a linear logic model. (Doctoral Dissertation). La Rochelle. Retrieved from http://www.theses.fr/2013LAROS397

Chicago Manual of Style (16th Edition):

Dang, Kim Dung. “Aide à la réalisation de systèmes de pilotage de narration interactive : validation d'un scénario basée sur un modèle en logique linéaire : Towards the realization of interactive storytelling control systems : validation of a scenario based on a linear logic model.” 2013. Doctoral Dissertation, La Rochelle. Accessed September 23, 2019. http://www.theses.fr/2013LAROS397.

MLA Handbook (7th Edition):

Dang, Kim Dung. “Aide à la réalisation de systèmes de pilotage de narration interactive : validation d'un scénario basée sur un modèle en logique linéaire : Towards the realization of interactive storytelling control systems : validation of a scenario based on a linear logic model.” 2013. Web. 23 Sep 2019.

Vancouver:

Dang KD. Aide à la réalisation de systèmes de pilotage de narration interactive : validation d'un scénario basée sur un modèle en logique linéaire : Towards the realization of interactive storytelling control systems : validation of a scenario based on a linear logic model. [Internet] [Doctoral dissertation]. La Rochelle; 2013. [cited 2019 Sep 23]. Available from: http://www.theses.fr/2013LAROS397.

Council of Science Editors:

Dang KD. Aide à la réalisation de systèmes de pilotage de narration interactive : validation d'un scénario basée sur un modèle en logique linéaire : Towards the realization of interactive storytelling control systems : validation of a scenario based on a linear logic model. [Doctoral Dissertation]. La Rochelle; 2013. Available from: http://www.theses.fr/2013LAROS397


IUPUI

4. Rangwala, Mohammed M. Secure Digital Provenance: Challenges and a New Design.

Degree: 2014, IUPUI

Indiana University-Purdue University Indianapolis (IUPUI)

Derived from the field of art curation, digital provenance is an unforgeable record of a digital object's chain of successive… (more)

Subjects/Keywords: availability; confidentiality; cryptography; integrity; provenance; signatures; Computer security  – Management  – Research  – Methodology; Public key infrastructure (Computer security); Data encryption (Computer science)  – Evaluation; Cryptography  – Research; Data protection  – Research; Digital signatures; Cultural property  – Protection; Confidential communications  – Access control; Computer networks  – Design and construction; Computer networks  – Security measures; Database management; Databases  – Quality control; Information services  – Security measures; Computer networks  – Monitoring; Information services  – Quality control; Application software  – Development; Computational intelligence  – Reliability; Computer programs  – Validation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rangwala, M. M. (2014). Secure Digital Provenance: Challenges and a New Design. (Thesis). IUPUI. Retrieved from http://hdl.handle.net/1805/6051

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Rangwala, Mohammed M. “Secure Digital Provenance: Challenges and a New Design.” 2014. Thesis, IUPUI. Accessed September 23, 2019. http://hdl.handle.net/1805/6051.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Rangwala, Mohammed M. “Secure Digital Provenance: Challenges and a New Design.” 2014. Web. 23 Sep 2019.

Vancouver:

Rangwala MM. Secure Digital Provenance: Challenges and a New Design. [Internet] [Thesis]. IUPUI; 2014. [cited 2019 Sep 23]. Available from: http://hdl.handle.net/1805/6051.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Rangwala MM. Secure Digital Provenance: Challenges and a New Design. [Thesis]. IUPUI; 2014. Available from: http://hdl.handle.net/1805/6051

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Florida

5. Chen, Mingsong. Efficient Approaches for Functional Validation of Soc Designs Using High-Level Specifications.

Degree: PhD, Computer Engineering - Computer and Information Science and Engineering, 2010, University of Florida

Subjects/Keywords: Architectural design; Architectural models; Counterexamples; Heuristics; Learning; Learning modalities; Modeling; Simulations; Software; Standardized tests; assertion, clustering, decomposition, formal, learning, modeling, property, psl, reuse, smv, soc, specification, sva, systemc, testing, tlm, uml, validation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chen, M. (2010). Efficient Approaches for Functional Validation of Soc Designs Using High-Level Specifications. (Doctoral Dissertation). University of Florida. Retrieved from http://ufdc.ufl.edu/UFE0041877

Chicago Manual of Style (16th Edition):

Chen, Mingsong. “Efficient Approaches for Functional Validation of Soc Designs Using High-Level Specifications.” 2010. Doctoral Dissertation, University of Florida. Accessed September 23, 2019. http://ufdc.ufl.edu/UFE0041877.

MLA Handbook (7th Edition):

Chen, Mingsong. “Efficient Approaches for Functional Validation of Soc Designs Using High-Level Specifications.” 2010. Web. 23 Sep 2019.

Vancouver:

Chen M. Efficient Approaches for Functional Validation of Soc Designs Using High-Level Specifications. [Internet] [Doctoral dissertation]. University of Florida; 2010. [cited 2019 Sep 23]. Available from: http://ufdc.ufl.edu/UFE0041877.

Council of Science Editors:

Chen M. Efficient Approaches for Functional Validation of Soc Designs Using High-Level Specifications. [Doctoral Dissertation]. University of Florida; 2010. Available from: http://ufdc.ufl.edu/UFE0041877

.