Index Catalog // 蹄兔

清除筛选

筛选: Contributor Dougherty, Daniel J.

1. A Coq Formalization of Unification Modulo Exclusive-Or

创造者:: Xu, Yichi
Advisor:: Dougherty, Daniel J.
出版者:: Worcester Polytechnic Institute
创建日期:: 2023-04-26
Resource Type:: Thesis
Degree:: MS

2. Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases

创造者:: Veloz Baez, Freddy
Advisor:: Dougherty, Daniel J. and Shue, Craig A.
出版者:: Worcester Polytechnic Institute
创建日期:: 2022-04-27
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science

3. Development of a Data-Grounded Theory of Program Design in HTDP

关键词:: Program design, Human-centered computing, Cognition, Planning, Computing education, and Functional programming
创造者:: Castro, Francisco Enrique Vi G.
Advisor:: Fisler, Kathryn
出版者:: Worcester Polytechnic Institute
创建日期:: 2020-05-18
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science

4. Alloy-Guided Verification of Cooperative Autonomous Driving Behavior

关键词:: Formal verification, Alloy, Formal modeling, and Cooperative autonomous driving (CAD)
创造者:: VanValkenburg, MaryAnn E.
Advisor:: Dougherty, Daniel J.
出版者:: Worcester Polytechnic Institute
创建日期:: 2020-05-18
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science

5. Event stream analytics

关键词:: Complex Event Processing, algorithms, Query Optimization, and Data streaming
创造者:: Poppe, Olga
Advisor:: Rundensteiner, Elke A.
出版者:: Worcester Polytechnic Institute
创建日期:: 2018-01-05
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science

6. User Evaluation Framework for Model Finding Research

关键词:: Verification, model finding, Case Studies, model finders, user studies, user evaluation, formal methods, and logic
创造者:: Danas, Ryan
Advisor:: Dougherty, Daniel J.
出版者:: Worcester Polytechnic Institute
创建日期:: 2016-08-31
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science

7. Similarity Reasoning over Semantic Context-Graphs

关键词:: Robot Tasks, Plan Repair, Topic Modeling, Semantic, Analogy, and Similarity
创造者:: Boteanu, Adrian
Advisor:: Chernova, Sonia
出版者:: Worcester Polytechnic Institute
创建日期:: 2015-08-26
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science

8. A Framework for Exploring Finite Models

关键词:: provenance information, Razor, Aluminum, first-order logic, Geometric Logic, Chase, finite model-finding, and exploration
创造者:: Saghafi, Salman
Advisor:: Dougherty, Daniel J.
出版者:: Worcester Polytechnic Institute
创建日期:: 2015-04-30
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science

9. Supporting Multi-Criteria Decision Support Queries over Disparate Data Sources

关键词:: Cardinality Assurance, Skyline Queries, Multi-Criteria Decision Support, Progressive Query Evaluation, Query Processing, Query Refinement, and Pareto-Optimal Queries
创造者:: Raghavan, Venkatesh
Advisor:: Rundensteiner, Elke A.
出版者:: Worcester Polytechnic Institute
创建日期:: 2012-04-17
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science

10. Extending Complex Event Processing for Advanced Applications

关键词:: Complex Event Processing, Privacy Preserving, Utility Maximization, Transactional Stream, Event Suppression, and Probabilistic Inference
创造者:: Wang, Di
Advisor:: Rundensteiner, Elke A.
出版者:: Worcester Polytechnic Institute
创建日期:: 2013-04-30
Resource Type:: Dissertation
Degree:: PhD
Unit (Department):: Computer Science