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

Level: doctoral

You searched for subject:( JavaScript). Showing records 1 – 23 of 23 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Virginia Tech

1. Wei, Shiyi. Practical Analysis of the Dynamic Characteristics of JavaScript.

Degree: PhD, Computer Science, 2015, Virginia Tech

JavaScript is a dynamic object-oriented programming language, which is designed with flexible programming mechanisms. JavaScript is widely used in developing sophisticated software systems, especially web… (more)

Subjects/Keywords: Dataflow Analysis; JavaScript; Context Sensitivity

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wei, S. (2015). Practical Analysis of the Dynamic Characteristics of JavaScript. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/56697

Chicago Manual of Style (16th Edition):

Wei, Shiyi. “Practical Analysis of the Dynamic Characteristics of JavaScript.” 2015. Doctoral Dissertation, Virginia Tech. Accessed June 16, 2019. http://hdl.handle.net/10919/56697.

MLA Handbook (7th Edition):

Wei, Shiyi. “Practical Analysis of the Dynamic Characteristics of JavaScript.” 2015. Web. 16 Jun 2019.

Vancouver:

Wei S. Practical Analysis of the Dynamic Characteristics of JavaScript. [Internet] [Doctoral dissertation]. Virginia Tech; 2015. [cited 2019 Jun 16]. Available from: http://hdl.handle.net/10919/56697.

Council of Science Editors:

Wei S. Practical Analysis of the Dynamic Characteristics of JavaScript. [Doctoral Dissertation]. Virginia Tech; 2015. Available from: http://hdl.handle.net/10919/56697

2. Brodu, Etienne. Fluxional compiler : Seamless shift from development productivity to performance efficiency, in the case of real-time web applications : Compilateur Fluxional : Passage transparent de la productivité de développement à l'efficacité des performances, dans le cas d'applications Web en temps réel.

Degree: Docteur es, Informatique, 2016, Lyon

La plupart des grands services web commencèrent comme de simples projets, et grossirent exponentiellement. Internet supporte cette croissance en étendant les communications et réduisant leur… (more)

Subjects/Keywords: Informatique; Web; Programmation web; Langage Javascript; IT - Information Technology; Web programming; Javascript; 006.707 2

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Brodu, E. (2016). Fluxional compiler : Seamless shift from development productivity to performance efficiency, in the case of real-time web applications : Compilateur Fluxional : Passage transparent de la productivité de développement à l'efficacité des performances, dans le cas d'applications Web en temps réel. (Doctoral Dissertation). Lyon. Retrieved from http://www.theses.fr/2016LYSEI061

Chicago Manual of Style (16th Edition):

Brodu, Etienne. “Fluxional compiler : Seamless shift from development productivity to performance efficiency, in the case of real-time web applications : Compilateur Fluxional : Passage transparent de la productivité de développement à l'efficacité des performances, dans le cas d'applications Web en temps réel.” 2016. Doctoral Dissertation, Lyon. Accessed June 16, 2019. http://www.theses.fr/2016LYSEI061.

MLA Handbook (7th Edition):

Brodu, Etienne. “Fluxional compiler : Seamless shift from development productivity to performance efficiency, in the case of real-time web applications : Compilateur Fluxional : Passage transparent de la productivité de développement à l'efficacité des performances, dans le cas d'applications Web en temps réel.” 2016. Web. 16 Jun 2019.

Vancouver:

Brodu E. Fluxional compiler : Seamless shift from development productivity to performance efficiency, in the case of real-time web applications : Compilateur Fluxional : Passage transparent de la productivité de développement à l'efficacité des performances, dans le cas d'applications Web en temps réel. [Internet] [Doctoral dissertation]. Lyon; 2016. [cited 2019 Jun 16]. Available from: http://www.theses.fr/2016LYSEI061.

Council of Science Editors:

Brodu E. Fluxional compiler : Seamless shift from development productivity to performance efficiency, in the case of real-time web applications : Compilateur Fluxional : Passage transparent de la productivité de développement à l'efficacité des performances, dans le cas d'applications Web en temps réel. [Doctoral Dissertation]. Lyon; 2016. Available from: http://www.theses.fr/2016LYSEI061

3. Bodin, Martin. Certified semantics and analysis of JavaScript : Sémantique et analyse certifiée de JavaScript.

Degree: Docteur es, Informatique, 2016, Rennes 1

JavaScript est un langage de programmation maintenant très utilisé - y compris dans des domaines où la sécurité est importante. Il est donc important de… (more)

Subjects/Keywords: JavaScript; Coq; Interprétation abstraite; Logique de séparation; JavaScript; Coq; Abstract Interpretation; Separation Logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bodin, M. (2016). Certified semantics and analysis of JavaScript : Sémantique et analyse certifiée de JavaScript. (Doctoral Dissertation). Rennes 1. Retrieved from http://www.theses.fr/2016REN1S087

Chicago Manual of Style (16th Edition):

Bodin, Martin. “Certified semantics and analysis of JavaScript : Sémantique et analyse certifiée de JavaScript.” 2016. Doctoral Dissertation, Rennes 1. Accessed June 16, 2019. http://www.theses.fr/2016REN1S087.

MLA Handbook (7th Edition):

Bodin, Martin. “Certified semantics and analysis of JavaScript : Sémantique et analyse certifiée de JavaScript.” 2016. Web. 16 Jun 2019.

Vancouver:

Bodin M. Certified semantics and analysis of JavaScript : Sémantique et analyse certifiée de JavaScript. [Internet] [Doctoral dissertation]. Rennes 1; 2016. [cited 2019 Jun 16]. Available from: http://www.theses.fr/2016REN1S087.

Council of Science Editors:

Bodin M. Certified semantics and analysis of JavaScript : Sémantique et analyse certifiée de JavaScript. [Doctoral Dissertation]. Rennes 1; 2016. Available from: http://www.theses.fr/2016REN1S087

4. Fragoso Femenin dos Santos, José. Vers l’établissement du flux d’information sûr dans les applications Web côté client : Enforcing secure information flow in client-side Web applications.

Degree: Docteur es, Informatique, 2014, Nice

Nous nous intéressons à la mise en œuvre des politiques de confidentialité et d'intégrité des données dans le contexte des applications Web côté client. Étant… (more)

Subjects/Keywords: Analyse des programmes; Systèmes de réécriture; JavaScript; Flux d'information sûr; Program analysis; Program instrumentation; JavaScript; Secure information flow

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fragoso Femenin dos Santos, J. (2014). Vers l’établissement du flux d’information sûr dans les applications Web côté client : Enforcing secure information flow in client-side Web applications. (Doctoral Dissertation). Nice. Retrieved from http://www.theses.fr/2014NICE4148

Chicago Manual of Style (16th Edition):

Fragoso Femenin dos Santos, José. “Vers l’établissement du flux d’information sûr dans les applications Web côté client : Enforcing secure information flow in client-side Web applications.” 2014. Doctoral Dissertation, Nice. Accessed June 16, 2019. http://www.theses.fr/2014NICE4148.

MLA Handbook (7th Edition):

Fragoso Femenin dos Santos, José. “Vers l’établissement du flux d’information sûr dans les applications Web côté client : Enforcing secure information flow in client-side Web applications.” 2014. Web. 16 Jun 2019.

Vancouver:

Fragoso Femenin dos Santos J. Vers l’établissement du flux d’information sûr dans les applications Web côté client : Enforcing secure information flow in client-side Web applications. [Internet] [Doctoral dissertation]. Nice; 2014. [cited 2019 Jun 16]. Available from: http://www.theses.fr/2014NICE4148.

Council of Science Editors:

Fragoso Femenin dos Santos J. Vers l’établissement du flux d’information sûr dans les applications Web côté client : Enforcing secure information flow in client-side Web applications. [Doctoral Dissertation]. Nice; 2014. Available from: http://www.theses.fr/2014NICE4148

5. Vidal, Colin. Programmation web réactive : Reactive Web Programming.

Degree: Docteur es, Informatique, 2018, Côte d'Azur

Le web est une plate-forme universelle pour développer des applications riches en interactions avec les utilisateurs et des services distants. Ces interactions sont implémentées sous… (more)

Subjects/Keywords: Web; Programmation asynchrone; JavaScript; Programmation réctive; Langages synchrones; Web; Asynchronous programming; JavaScript; Reactive programming; Synchronous programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vidal, C. (2018). Programmation web réactive : Reactive Web Programming. (Doctoral Dissertation). Côte d'Azur. Retrieved from http://www.theses.fr/2018AZUR4049

Chicago Manual of Style (16th Edition):

Vidal, Colin. “Programmation web réactive : Reactive Web Programming.” 2018. Doctoral Dissertation, Côte d'Azur. Accessed June 16, 2019. http://www.theses.fr/2018AZUR4049.

MLA Handbook (7th Edition):

Vidal, Colin. “Programmation web réactive : Reactive Web Programming.” 2018. Web. 16 Jun 2019.

Vancouver:

Vidal C. Programmation web réactive : Reactive Web Programming. [Internet] [Doctoral dissertation]. Côte d'Azur; 2018. [cited 2019 Jun 16]. Available from: http://www.theses.fr/2018AZUR4049.

Council of Science Editors:

Vidal C. Programmation web réactive : Reactive Web Programming. [Doctoral Dissertation]. Côte d'Azur; 2018. Available from: http://www.theses.fr/2018AZUR4049


Université de Lorraine

6. Yang, Faqing. Un environnement de simulation pour la validation de spécifications B événementiel : A Simulation Framework for the Validation of Event-B Specifications.

Degree: Docteur es, Informatique, 2013, Université de Lorraine

Cette thèse porte sur la spécification, la vérification et la validation de systèmes critiques à l'aide de méthodes formelles, en particulier, B événementiel. Nous avons… (more)

Subjects/Keywords: Spécification; Vérification; Validation; Méthodes formelles; B événementiel; Simulation; JavaScript; Specification; Verification; Validation; Formal methods; Event-B; Simulation; JavaScript; 005.1

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yang, F. (2013). Un environnement de simulation pour la validation de spécifications B événementiel : A Simulation Framework for the Validation of Event-B Specifications. (Doctoral Dissertation). Université de Lorraine. Retrieved from http://www.theses.fr/2013LORR0158

Chicago Manual of Style (16th Edition):

Yang, Faqing. “Un environnement de simulation pour la validation de spécifications B événementiel : A Simulation Framework for the Validation of Event-B Specifications.” 2013. Doctoral Dissertation, Université de Lorraine. Accessed June 16, 2019. http://www.theses.fr/2013LORR0158.

MLA Handbook (7th Edition):

Yang, Faqing. “Un environnement de simulation pour la validation de spécifications B événementiel : A Simulation Framework for the Validation of Event-B Specifications.” 2013. Web. 16 Jun 2019.

Vancouver:

Yang F. Un environnement de simulation pour la validation de spécifications B événementiel : A Simulation Framework for the Validation of Event-B Specifications. [Internet] [Doctoral dissertation]. Université de Lorraine; 2013. [cited 2019 Jun 16]. Available from: http://www.theses.fr/2013LORR0158.

Council of Science Editors:

Yang F. Un environnement de simulation pour la validation de spécifications B événementiel : A Simulation Framework for the Validation of Event-B Specifications. [Doctoral Dissertation]. Université de Lorraine; 2013. Available from: http://www.theses.fr/2013LORR0158


Penn State University

7. Xu, Wei. Security and Privacy Mechanisms for Web and Third-party Applications.

Degree: PhD, Computer Science and Engineering, 2013, Penn State University

 Web and third party applications are new forms of computer applications that heavily leverage the Internet and are compatible with various platforms such as PCs,… (more)

Subjects/Keywords: Web application; third-party application; OSN worm; obfuscated JavaScript; Android permission

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Xu, W. (2013). Security and Privacy Mechanisms for Web and Third-party Applications. (Doctoral Dissertation). Penn State University. Retrieved from https://etda.libraries.psu.edu/catalog/18796

Chicago Manual of Style (16th Edition):

Xu, Wei. “Security and Privacy Mechanisms for Web and Third-party Applications.” 2013. Doctoral Dissertation, Penn State University. Accessed June 16, 2019. https://etda.libraries.psu.edu/catalog/18796.

MLA Handbook (7th Edition):

Xu, Wei. “Security and Privacy Mechanisms for Web and Third-party Applications.” 2013. Web. 16 Jun 2019.

Vancouver:

Xu W. Security and Privacy Mechanisms for Web and Third-party Applications. [Internet] [Doctoral dissertation]. Penn State University; 2013. [cited 2019 Jun 16]. Available from: https://etda.libraries.psu.edu/catalog/18796.

Council of Science Editors:

Xu W. Security and Privacy Mechanisms for Web and Third-party Applications. [Doctoral Dissertation]. Penn State University; 2013. Available from: https://etda.libraries.psu.edu/catalog/18796


Euskal Herriko Unibertsitatea / Universidad del País Vasco

8. Arellano Bartolomé, Cristóbal. Open Personalization: Involving Third Parties in Improving the User Experience of Websites .

Degree: 2013, Euskal Herriko Unibertsitatea / Universidad del País Vasco

 Traditional software development captures the user needs during the requirement analysis. The Web makes this endeavour even harder due to the difficulty to determine who… (more)

Subjects/Keywords: web augmentation; web engineering; JavaScript; DOM; domain specific language; DSL

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Arellano Bartolomé, C. (2013). Open Personalization: Involving Third Parties in Improving the User Experience of Websites . (Doctoral Dissertation). Euskal Herriko Unibertsitatea / Universidad del País Vasco. Retrieved from http://hdl.handle.net/10810/10582

Chicago Manual of Style (16th Edition):

Arellano Bartolomé, Cristóbal. “Open Personalization: Involving Third Parties in Improving the User Experience of Websites .” 2013. Doctoral Dissertation, Euskal Herriko Unibertsitatea / Universidad del País Vasco. Accessed June 16, 2019. http://hdl.handle.net/10810/10582.

MLA Handbook (7th Edition):

Arellano Bartolomé, Cristóbal. “Open Personalization: Involving Third Parties in Improving the User Experience of Websites .” 2013. Web. 16 Jun 2019.

Vancouver:

Arellano Bartolomé C. Open Personalization: Involving Third Parties in Improving the User Experience of Websites . [Internet] [Doctoral dissertation]. Euskal Herriko Unibertsitatea / Universidad del País Vasco; 2013. [cited 2019 Jun 16]. Available from: http://hdl.handle.net/10810/10582.

Council of Science Editors:

Arellano Bartolomé C. Open Personalization: Involving Third Parties in Improving the User Experience of Websites . [Doctoral Dissertation]. Euskal Herriko Unibertsitatea / Universidad del País Vasco; 2013. Available from: http://hdl.handle.net/10810/10582


University of Edinburgh

9. Franzen, Daniel. Quantitative bounds on the security-critical resource consumption of JavaScript apps.

Degree: PhD, 2016, University of Edinburgh

 Current resource policies for mobile phone apps are based on permissions that unconditionally grant or deny access to a resource like private data, sensors and… (more)

Subjects/Keywords: 005.2; JavaScript; Mobile apps; resource analysis; privacy; security

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Franzen, D. (2016). Quantitative bounds on the security-critical resource consumption of JavaScript apps. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/22060

Chicago Manual of Style (16th Edition):

Franzen, Daniel. “Quantitative bounds on the security-critical resource consumption of JavaScript apps.” 2016. Doctoral Dissertation, University of Edinburgh. Accessed June 16, 2019. http://hdl.handle.net/1842/22060.

MLA Handbook (7th Edition):

Franzen, Daniel. “Quantitative bounds on the security-critical resource consumption of JavaScript apps.” 2016. Web. 16 Jun 2019.

Vancouver:

Franzen D. Quantitative bounds on the security-critical resource consumption of JavaScript apps. [Internet] [Doctoral dissertation]. University of Edinburgh; 2016. [cited 2019 Jun 16]. Available from: http://hdl.handle.net/1842/22060.

Council of Science Editors:

Franzen D. Quantitative bounds on the security-critical resource consumption of JavaScript apps. [Doctoral Dissertation]. University of Edinburgh; 2016. Available from: http://hdl.handle.net/1842/22060

10. Marchand De Kerchove, Florent. Etendre des interpréteurs par détournement, ou comment étendre des interpréteurs sans en modifier le code : avec une application à des analyses dynamiques pour un interpréteur de JavaScript : Extending interpreters by diverting, or how to extend interpreters without modifying their source code.

Degree: Docteur es, Informatique et applications, 2016, Nantes, Ecole des Mines

Afin de sécuriser les applications web, nous nous sommes intéressés à appliquer des analyses dynamiques de sécurité à des programmes JavaScript. Dansce contexte, pouvoir rapidement… (more)

Subjects/Keywords: Extensibilité; Modularité, interpréteurs; Instrumentation; Patrons de conception; Programmation par objets; Programmation par aspects; JavaScript; Extensibility; Modularity, interpreters; Instrumentation; Design Patterns; Object-Oriented Programming; Aspect-Oriented Programming; JavaScript

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Marchand De Kerchove, F. (2016). Etendre des interpréteurs par détournement, ou comment étendre des interpréteurs sans en modifier le code : avec une application à des analyses dynamiques pour un interpréteur de JavaScript : Extending interpreters by diverting, or how to extend interpreters without modifying their source code. (Doctoral Dissertation). Nantes, Ecole des Mines. Retrieved from http://www.theses.fr/2016EMNA0223

Chicago Manual of Style (16th Edition):

Marchand De Kerchove, Florent. “Etendre des interpréteurs par détournement, ou comment étendre des interpréteurs sans en modifier le code : avec une application à des analyses dynamiques pour un interpréteur de JavaScript : Extending interpreters by diverting, or how to extend interpreters without modifying their source code.” 2016. Doctoral Dissertation, Nantes, Ecole des Mines. Accessed June 16, 2019. http://www.theses.fr/2016EMNA0223.

MLA Handbook (7th Edition):

Marchand De Kerchove, Florent. “Etendre des interpréteurs par détournement, ou comment étendre des interpréteurs sans en modifier le code : avec une application à des analyses dynamiques pour un interpréteur de JavaScript : Extending interpreters by diverting, or how to extend interpreters without modifying their source code.” 2016. Web. 16 Jun 2019.

Vancouver:

Marchand De Kerchove F. Etendre des interpréteurs par détournement, ou comment étendre des interpréteurs sans en modifier le code : avec une application à des analyses dynamiques pour un interpréteur de JavaScript : Extending interpreters by diverting, or how to extend interpreters without modifying their source code. [Internet] [Doctoral dissertation]. Nantes, Ecole des Mines; 2016. [cited 2019 Jun 16]. Available from: http://www.theses.fr/2016EMNA0223.

Council of Science Editors:

Marchand De Kerchove F. Etendre des interpréteurs par détournement, ou comment étendre des interpréteurs sans en modifier le code : avec une application à des analyses dynamiques pour un interpréteur de JavaScript : Extending interpreters by diverting, or how to extend interpreters without modifying their source code. [Doctoral Dissertation]. Nantes, Ecole des Mines; 2016. Available from: http://www.theses.fr/2016EMNA0223

11. Corre, Kevin. User controlled trust and security level of Web real-time communications : Niveau de confiance et de sécurité des communications Web temps-réel contrôlé par l'utilisateur.

Degree: Docteur es, Informatique, 2018, Rennes 1

Dans cette thèse, je propose trois contributions principales : dans notre première contribution, nous étudions l'architecture d'identité WebRTC et plus particulièrement son intégration aux algorithmes… (more)

Subjects/Keywords: Web; Voix sur IP; Sécurité Informatique; JavaScript; Preuve électronique; Droit à la vie privée; Authentification; WebRTC; Web; Voice over IP; Computer Security; JavaScript; Assertion; Privacy; Authentication; WebRTC

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Corre, K. (2018). User controlled trust and security level of Web real-time communications : Niveau de confiance et de sécurité des communications Web temps-réel contrôlé par l'utilisateur. (Doctoral Dissertation). Rennes 1. Retrieved from http://www.theses.fr/2018REN1S029

Chicago Manual of Style (16th Edition):

Corre, Kevin. “User controlled trust and security level of Web real-time communications : Niveau de confiance et de sécurité des communications Web temps-réel contrôlé par l'utilisateur.” 2018. Doctoral Dissertation, Rennes 1. Accessed June 16, 2019. http://www.theses.fr/2018REN1S029.

MLA Handbook (7th Edition):

Corre, Kevin. “User controlled trust and security level of Web real-time communications : Niveau de confiance et de sécurité des communications Web temps-réel contrôlé par l'utilisateur.” 2018. Web. 16 Jun 2019.

Vancouver:

Corre K. User controlled trust and security level of Web real-time communications : Niveau de confiance et de sécurité des communications Web temps-réel contrôlé par l'utilisateur. [Internet] [Doctoral dissertation]. Rennes 1; 2018. [cited 2019 Jun 16]. Available from: http://www.theses.fr/2018REN1S029.

Council of Science Editors:

Corre K. User controlled trust and security level of Web real-time communications : Niveau de confiance et de sécurité des communications Web temps-réel contrôlé par l'utilisateur. [Doctoral Dissertation]. Rennes 1; 2018. Available from: http://www.theses.fr/2018REN1S029


Northeastern University

12. Vardoulakis, Dimitrios. CFA2: Pushdown flow analysis for higher-order languages.

Degree: PhD, College of Computer and Information Science, 2012, Northeastern University

 In a higher-order language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses do not handle call and return well: they… (more)

Subjects/Keywords: compiler optimization; continuation-passing style; flow analysis; higher-order languages; JavaScript; lambda calculus; Computer Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vardoulakis, D. (2012). CFA2: Pushdown flow analysis for higher-order languages. (Doctoral Dissertation). Northeastern University. Retrieved from http://hdl.handle.net/2047/d20002932

Chicago Manual of Style (16th Edition):

Vardoulakis, Dimitrios. “CFA2: Pushdown flow analysis for higher-order languages.” 2012. Doctoral Dissertation, Northeastern University. Accessed June 16, 2019. http://hdl.handle.net/2047/d20002932.

MLA Handbook (7th Edition):

Vardoulakis, Dimitrios. “CFA2: Pushdown flow analysis for higher-order languages.” 2012. Web. 16 Jun 2019.

Vancouver:

Vardoulakis D. CFA2: Pushdown flow analysis for higher-order languages. [Internet] [Doctoral dissertation]. Northeastern University; 2012. [cited 2019 Jun 16]. Available from: http://hdl.handle.net/2047/d20002932.

Council of Science Editors:

Vardoulakis D. CFA2: Pushdown flow analysis for higher-order languages. [Doctoral Dissertation]. Northeastern University; 2012. Available from: http://hdl.handle.net/2047/d20002932


Louisiana State University

13. Taylor, Benjamin Francis. McLuhan.js: Live Net Art Performance with Remote Web Browsers.

Degree: PhD, Music, 2016, Louisiana State University

 McLuhan.js is a media art performance platform which engages with the web browser as a source of form and content. The platform enables a new… (more)

Subjects/Keywords: net art; media art; web audio; digital art; telematic; javascript; computer music; internet art

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Taylor, B. F. (2016). McLuhan.js: Live Net Art Performance with Remote Web Browsers. (Doctoral Dissertation). Louisiana State University. Retrieved from etd-05162016-133118 ; https://digitalcommons.lsu.edu/gradschool_dissertations/861

Chicago Manual of Style (16th Edition):

Taylor, Benjamin Francis. “McLuhan.js: Live Net Art Performance with Remote Web Browsers.” 2016. Doctoral Dissertation, Louisiana State University. Accessed June 16, 2019. etd-05162016-133118 ; https://digitalcommons.lsu.edu/gradschool_dissertations/861.

MLA Handbook (7th Edition):

Taylor, Benjamin Francis. “McLuhan.js: Live Net Art Performance with Remote Web Browsers.” 2016. Web. 16 Jun 2019.

Vancouver:

Taylor BF. McLuhan.js: Live Net Art Performance with Remote Web Browsers. [Internet] [Doctoral dissertation]. Louisiana State University; 2016. [cited 2019 Jun 16]. Available from: etd-05162016-133118 ; https://digitalcommons.lsu.edu/gradschool_dissertations/861.

Council of Science Editors:

Taylor BF. McLuhan.js: Live Net Art Performance with Remote Web Browsers. [Doctoral Dissertation]. Louisiana State University; 2016. Available from: etd-05162016-133118 ; https://digitalcommons.lsu.edu/gradschool_dissertations/861


Virginia Tech

14. Zhang, Lu. Runtime Verification and Debugging of Concurrent Software.

Degree: PhD, Electrical and Computer Engineering, 2016, Virginia Tech

 Our reliance on software has been growing fast over the past decades as the pervasive use of computer and software penetrated not only our daily… (more)

Subjects/Keywords: Concurrency; Verification; Debugging; Program Repair; Quasi Linearizability; Concurrent Data Structure; Web Application; JavaScript

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhang, L. (2016). Runtime Verification and Debugging of Concurrent Software. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/71882

Chicago Manual of Style (16th Edition):

Zhang, Lu. “Runtime Verification and Debugging of Concurrent Software.” 2016. Doctoral Dissertation, Virginia Tech. Accessed June 16, 2019. http://hdl.handle.net/10919/71882.

MLA Handbook (7th Edition):

Zhang, Lu. “Runtime Verification and Debugging of Concurrent Software.” 2016. Web. 16 Jun 2019.

Vancouver:

Zhang L. Runtime Verification and Debugging of Concurrent Software. [Internet] [Doctoral dissertation]. Virginia Tech; 2016. [cited 2019 Jun 16]. Available from: http://hdl.handle.net/10919/71882.

Council of Science Editors:

Zhang L. Runtime Verification and Debugging of Concurrent Software. [Doctoral Dissertation]. Virginia Tech; 2016. Available from: http://hdl.handle.net/10919/71882


University of Iowa

15. Likarish, Peter F. Early detection of malicious web content with applied machine learning.

Degree: PhD, Computer Science, 2011, University of Iowa

  This thesis explores the use of applied machine learning techniques to augment traditional methods of identifying and preventing web-based attacks. Several factors complicate the… (more)

Subjects/Keywords: applied machine learning; Computer security; Domain Name System; javascript; phishing; web-based attacks; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Likarish, P. F. (2011). Early detection of malicious web content with applied machine learning. (Doctoral Dissertation). University of Iowa. Retrieved from https://ir.uiowa.edu/etd/4871

Chicago Manual of Style (16th Edition):

Likarish, Peter F. “Early detection of malicious web content with applied machine learning.” 2011. Doctoral Dissertation, University of Iowa. Accessed June 16, 2019. https://ir.uiowa.edu/etd/4871.

MLA Handbook (7th Edition):

Likarish, Peter F. “Early detection of malicious web content with applied machine learning.” 2011. Web. 16 Jun 2019.

Vancouver:

Likarish PF. Early detection of malicious web content with applied machine learning. [Internet] [Doctoral dissertation]. University of Iowa; 2011. [cited 2019 Jun 16]. Available from: https://ir.uiowa.edu/etd/4871.

Council of Science Editors:

Likarish PF. Early detection of malicious web content with applied machine learning. [Doctoral Dissertation]. University of Iowa; 2011. Available from: https://ir.uiowa.edu/etd/4871


University of Georgia

16. Li, Bo. Enabling fine-grained reconstruction and analysis of web attacks with in-browser recording systems.

Degree: PhD, Computer Science, 2017, University of Georgia

 The web has become a vector for attacks, and many of these attacks cannot be easily detected in real time. Because of this, we often… (more)

Subjects/Keywords: Forensic analysis; In-Browser Recording and Reconstruction; In-Browser Recording and Replay; Phishing attack; Clickjacking attack; JavaScript debugging; Crash analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Li, B. (2017). Enabling fine-grained reconstruction and analysis of web attacks with in-browser recording systems. (Doctoral Dissertation). University of Georgia. Retrieved from http://hdl.handle.net/10724/37814

Chicago Manual of Style (16th Edition):

Li, Bo. “Enabling fine-grained reconstruction and analysis of web attacks with in-browser recording systems.” 2017. Doctoral Dissertation, University of Georgia. Accessed June 16, 2019. http://hdl.handle.net/10724/37814.

MLA Handbook (7th Edition):

Li, Bo. “Enabling fine-grained reconstruction and analysis of web attacks with in-browser recording systems.” 2017. Web. 16 Jun 2019.

Vancouver:

Li B. Enabling fine-grained reconstruction and analysis of web attacks with in-browser recording systems. [Internet] [Doctoral dissertation]. University of Georgia; 2017. [cited 2019 Jun 16]. Available from: http://hdl.handle.net/10724/37814.

Council of Science Editors:

Li B. Enabling fine-grained reconstruction and analysis of web attacks with in-browser recording systems. [Doctoral Dissertation]. University of Georgia; 2017. Available from: http://hdl.handle.net/10724/37814

17. Brunelle, Justin F. Scripts in a Frame: A Framework for Archiving Deferred Representations.

Degree: PhD, Computer Science, 2016, Old Dominion University

  Web archives provide a view of the Web as seen by Web crawlers. Because of rapid advancements and adoption of client-side technologies like JavaScript(more)

Subjects/Keywords: Digital libraries; Digital preservation; JavaScript; Web archiving; Web crawling; Web science; Computer Sciences; Library and Information Science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Brunelle, J. F. (2016). Scripts in a Frame: A Framework for Archiving Deferred Representations. (Doctoral Dissertation). Old Dominion University. Retrieved from 9781339792576 ; https://digitalcommons.odu.edu/computerscience_etds/10

Chicago Manual of Style (16th Edition):

Brunelle, Justin F. “Scripts in a Frame: A Framework for Archiving Deferred Representations.” 2016. Doctoral Dissertation, Old Dominion University. Accessed June 16, 2019. 9781339792576 ; https://digitalcommons.odu.edu/computerscience_etds/10.

MLA Handbook (7th Edition):

Brunelle, Justin F. “Scripts in a Frame: A Framework for Archiving Deferred Representations.” 2016. Web. 16 Jun 2019.

Vancouver:

Brunelle JF. Scripts in a Frame: A Framework for Archiving Deferred Representations. [Internet] [Doctoral dissertation]. Old Dominion University; 2016. [cited 2019 Jun 16]. Available from: 9781339792576 ; https://digitalcommons.odu.edu/computerscience_etds/10.

Council of Science Editors:

Brunelle JF. Scripts in a Frame: A Framework for Archiving Deferred Representations. [Doctoral Dissertation]. Old Dominion University; 2016. Available from: 9781339792576 ; https://digitalcommons.odu.edu/computerscience_etds/10


University of Michigan

18. Mehrara, Mojtaba. Compiler and Runtime Techniques for Automatic Parallelization of Sequential Applications.

Degree: PhD, Computer Science & Engineering, 2011, University of Michigan

 Multicore designs have emerged as the mainstream design paradigm for the microprocessor industry. Unfortunately, providing multiple cores does not directly translate into performance for most… (more)

Subjects/Keywords: Speculative Parallelization; Software Transactional Memory; JavaScript Parallelization; Multicore Compilation; Dynamic Parallelization; Loop Level Parallelism; Computer Science; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mehrara, M. (2011). Compiler and Runtime Techniques for Automatic Parallelization of Sequential Applications. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/86499

Chicago Manual of Style (16th Edition):

Mehrara, Mojtaba. “Compiler and Runtime Techniques for Automatic Parallelization of Sequential Applications.” 2011. Doctoral Dissertation, University of Michigan. Accessed June 16, 2019. http://hdl.handle.net/2027.42/86499.

MLA Handbook (7th Edition):

Mehrara, Mojtaba. “Compiler and Runtime Techniques for Automatic Parallelization of Sequential Applications.” 2011. Web. 16 Jun 2019.

Vancouver:

Mehrara M. Compiler and Runtime Techniques for Automatic Parallelization of Sequential Applications. [Internet] [Doctoral dissertation]. University of Michigan; 2011. [cited 2019 Jun 16]. Available from: http://hdl.handle.net/2027.42/86499.

Council of Science Editors:

Mehrara M. Compiler and Runtime Techniques for Automatic Parallelization of Sequential Applications. [Doctoral Dissertation]. University of Michigan; 2011. Available from: http://hdl.handle.net/2027.42/86499

19. Elyasov, A. Survival of the Fittest : On the Future of Web Applications Testing.

Degree: 2019, University Utrecht

 For the last 20 years, the development of new Internet services has drastically changed the ways people interact with each other and across organizations. This… (more)

Subjects/Keywords: testing; web 2.0; logs; oracles; JavaScript; DOM; debugging; genetic algorithms

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Elyasov, A. (2019). Survival of the Fittest : On the Future of Web Applications Testing. (Doctoral Dissertation). University Utrecht. Retrieved from http://dspace.library.uu.nl/handle/1874/378719 ; URN:NBN:NL:UI:10-1874-378719 ; urn:isbn:978-90-393-7080-3 ; URN:NBN:NL:UI:10-1874-378719 ; http://dspace.library.uu.nl/handle/1874/378719

Chicago Manual of Style (16th Edition):

Elyasov, A. “Survival of the Fittest : On the Future of Web Applications Testing.” 2019. Doctoral Dissertation, University Utrecht. Accessed June 16, 2019. http://dspace.library.uu.nl/handle/1874/378719 ; URN:NBN:NL:UI:10-1874-378719 ; urn:isbn:978-90-393-7080-3 ; URN:NBN:NL:UI:10-1874-378719 ; http://dspace.library.uu.nl/handle/1874/378719.

MLA Handbook (7th Edition):

Elyasov, A. “Survival of the Fittest : On the Future of Web Applications Testing.” 2019. Web. 16 Jun 2019.

Vancouver:

Elyasov A. Survival of the Fittest : On the Future of Web Applications Testing. [Internet] [Doctoral dissertation]. University Utrecht; 2019. [cited 2019 Jun 16]. Available from: http://dspace.library.uu.nl/handle/1874/378719 ; URN:NBN:NL:UI:10-1874-378719 ; urn:isbn:978-90-393-7080-3 ; URN:NBN:NL:UI:10-1874-378719 ; http://dspace.library.uu.nl/handle/1874/378719.

Council of Science Editors:

Elyasov A. Survival of the Fittest : On the Future of Web Applications Testing. [Doctoral Dissertation]. University Utrecht; 2019. Available from: http://dspace.library.uu.nl/handle/1874/378719 ; URN:NBN:NL:UI:10-1874-378719 ; urn:isbn:978-90-393-7080-3 ; URN:NBN:NL:UI:10-1874-378719 ; http://dspace.library.uu.nl/handle/1874/378719

20. Leiva, Willie Dresler. Um modelo de hipertexto para apoio ao ensino mediado pela Web.

Degree: PhD, Ciências de Computação e Matemática Computacional, 2003, University of São Paulo

Atualmente há uma demanda crescente por aplicações hipermídia baseadas na WWW (World Wide Web), conhecidas como WIS (Web Information Systems). Esse novo tipo de aplicação… (more)

Subjects/Keywords: adaptive hypermedia; autoria hipermídia em ponto grande; CSS; CSS; cursos on-line; Distance Teaching; ensino a distância; especificação de hiperdocumentos; estadogramas; hipermídia adaptativa; HTML; HTML; hyperdocuments specification; hypermedia authoring in the large; JavaScript; JavaScript; modelo navegacional; MySQL; MySQL; navigational model; on-line courses; PHP; PHP; Sistema de Informação na WWW; statecharts; Web Information System

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Leiva, W. D. (2003). Um modelo de hipertexto para apoio ao ensino mediado pela Web. (Doctoral Dissertation). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/55/55134/tde-17112003-071043/ ;

Chicago Manual of Style (16th Edition):

Leiva, Willie Dresler. “Um modelo de hipertexto para apoio ao ensino mediado pela Web.” 2003. Doctoral Dissertation, University of São Paulo. Accessed June 16, 2019. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-17112003-071043/ ;.

MLA Handbook (7th Edition):

Leiva, Willie Dresler. “Um modelo de hipertexto para apoio ao ensino mediado pela Web.” 2003. Web. 16 Jun 2019.

Vancouver:

Leiva WD. Um modelo de hipertexto para apoio ao ensino mediado pela Web. [Internet] [Doctoral dissertation]. University of São Paulo; 2003. [cited 2019 Jun 16]. Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-17112003-071043/ ;.

Council of Science Editors:

Leiva WD. Um modelo de hipertexto para apoio ao ensino mediado pela Web. [Doctoral Dissertation]. University of São Paulo; 2003. Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-17112003-071043/ ;

21. Delignat-Lavaud, Antoine. On the security of authentication protocols on the web : La sécurité des protocoles d’authentification sur leWeb.

Degree: Docteur es, Informatique, 2016, Paris Sciences et Lettres

Est-il possible de démontrer un théorème prouvant que l’accès aux données confidentielles d’un utilisateur d’un service Web (tel que GMail) nécessite la connaissance de son… (more)

Subjects/Keywords: Sécurité du web; Authentification; Analyse de protocoles; Http; Infrastructure à clé publique; Authentification unique; Composition de protocoles; Lieur de canal; Triple poignée de main; Web security; Authentication; Protocol analysis; Http; Transport layer security; Tls; Javascript; Same-origin policy; X.509; Public key infrastructure; Single sign-on; Delegated authentication; Compositional security; Channel binding; Compound authentication; Triple handshake; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Delignat-Lavaud, A. (2016). On the security of authentication protocols on the web : La sécurité des protocoles d’authentification sur leWeb. (Doctoral Dissertation). Paris Sciences et Lettres. Retrieved from http://www.theses.fr/2016PSLEE018

Chicago Manual of Style (16th Edition):

Delignat-Lavaud, Antoine. “On the security of authentication protocols on the web : La sécurité des protocoles d’authentification sur leWeb.” 2016. Doctoral Dissertation, Paris Sciences et Lettres. Accessed June 16, 2019. http://www.theses.fr/2016PSLEE018.

MLA Handbook (7th Edition):

Delignat-Lavaud, Antoine. “On the security of authentication protocols on the web : La sécurité des protocoles d’authentification sur leWeb.” 2016. Web. 16 Jun 2019.

Vancouver:

Delignat-Lavaud A. On the security of authentication protocols on the web : La sécurité des protocoles d’authentification sur leWeb. [Internet] [Doctoral dissertation]. Paris Sciences et Lettres; 2016. [cited 2019 Jun 16]. Available from: http://www.theses.fr/2016PSLEE018.

Council of Science Editors:

Delignat-Lavaud A. On the security of authentication protocols on the web : La sécurité des protocoles d’authentification sur leWeb. [Doctoral Dissertation]. Paris Sciences et Lettres; 2016. Available from: http://www.theses.fr/2016PSLEE018

22. Gu, Boxuan. Context-Aware Malicious Code Detection.

Degree: PhD, Computer Science and Engineering, 2012, The Ohio State University

 Malicious codes are one of the biggest threats on the Internet according to the US-CERT vulnerability database. One salient example is Conficker, a malicious code… (more)

Subjects/Keywords: Computer Science; intrusion detection; malicious code detection; web security; javascript security; smartphone security; android security; information flow tracking; information leaking; worm detection; shellcode; shellcode detection

…in JavaScript”. Proceeding of International Conference on Security and Privacy in… …8 11 11 16 18 18 20 22 26 27 2.5 3. Malicious Code Detection In JavaScript 3.1 3.2 3.3… …that are dynamically generated in JavaScript codes. Chapter 4 presents our system for… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gu, B. (2012). Context-Aware Malicious Code Detection. (Doctoral Dissertation). The Ohio State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=osu1354523604

Chicago Manual of Style (16th Edition):

Gu, Boxuan. “Context-Aware Malicious Code Detection.” 2012. Doctoral Dissertation, The Ohio State University. Accessed June 16, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=osu1354523604.

MLA Handbook (7th Edition):

Gu, Boxuan. “Context-Aware Malicious Code Detection.” 2012. Web. 16 Jun 2019.

Vancouver:

Gu B. Context-Aware Malicious Code Detection. [Internet] [Doctoral dissertation]. The Ohio State University; 2012. [cited 2019 Jun 16]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1354523604.

Council of Science Editors:

Gu B. Context-Aware Malicious Code Detection. [Doctoral Dissertation]. The Ohio State University; 2012. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1354523604

23. Parker, Rembert N. An introduction to computer programming for complete beginners using HTML, JavaScript, and C#.

Degree: Thesis (D. Ed.), 2008, Ball State University

 Low student success rates in introductory computer programming classes result in low student retention rates in computer science programs. For some sections of the course… (more)

Subjects/Keywords: HTML (Document markup language) – Study and teaching (Higher); JavaScript (Computer program language) – Study and teaching (Higher); C♯ (Computer program language) – Study and teaching (Higher); Computer programming – Study and teaching (Higher)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Parker, R. N. (2008). An introduction to computer programming for complete beginners using HTML, JavaScript, and C#. (Doctoral Dissertation). Ball State University. Retrieved from http://cardinalscholar.bsu.edu/handle/123456789/193403

Chicago Manual of Style (16th Edition):

Parker, Rembert N. “An introduction to computer programming for complete beginners using HTML, JavaScript, and C#.” 2008. Doctoral Dissertation, Ball State University. Accessed June 16, 2019. http://cardinalscholar.bsu.edu/handle/123456789/193403.

MLA Handbook (7th Edition):

Parker, Rembert N. “An introduction to computer programming for complete beginners using HTML, JavaScript, and C#.” 2008. Web. 16 Jun 2019.

Vancouver:

Parker RN. An introduction to computer programming for complete beginners using HTML, JavaScript, and C#. [Internet] [Doctoral dissertation]. Ball State University; 2008. [cited 2019 Jun 16]. Available from: http://cardinalscholar.bsu.edu/handle/123456789/193403.

Council of Science Editors:

Parker RN. An introduction to computer programming for complete beginners using HTML, JavaScript, and C#. [Doctoral Dissertation]. Ball State University; 2008. Available from: http://cardinalscholar.bsu.edu/handle/123456789/193403

.