Skip to Content
Toggle navigation
Accueil
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
S'identifier
Explore, Discover, Share
Aller
Advanced search
Recherche
Effacer les filtres
Filtrage par:
Contributor
Dougherty, Daniel J.
Supprimer la restriction Contributor: Dougherty, Daniel J.
« Précédente |
1
-
10
sur
24
|
Suivante »
Trier par relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Nombre de résultats à afficher par page
10 par page
10
par page
20
par page
50
par page
100
par page
Affichage:
Liste
Galerie
Mosaïque
Diaporama
Résultats de recherche
A Coq Formalization of Unification Modulo Exclusive-Or
Créateur:
Xu, Yichi
Advisor:
Dougherty, Daniel J.
Éditeur:
Worcester Polytechnic Institute
date créée:
2023-04-26
Resource Type:
Thesis
Degree:
MS
Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases
Créateur:
Veloz Baez, Freddy
Advisor:
Dougherty, Daniel J.
and
Shue, Craig A.
Éditeur:
Worcester Polytechnic Institute
date créée:
2022-04-27
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Development of a Data-Grounded Theory of Program Design in HTDP
Mot-clé:
Program design
,
Human-centered computing
,
Cognition
,
Planning
,
Computing education
, and
Functional programming
Créateur:
Castro, Francisco Enrique Vi G.
Advisor:
Fisler, Kathryn
Éditeur:
Worcester Polytechnic Institute
date créée:
2020-05-18
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Computer Science
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
Mot-clé:
Formal verification
,
Alloy
,
Formal modeling
, and
Cooperative autonomous driving (CAD)
Créateur:
VanValkenburg, MaryAnn E.
Advisor:
Dougherty, Daniel J.
Éditeur:
Worcester Polytechnic Institute
date créée:
2020-05-18
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Event stream analytics
Mot-clé:
Complex Event Processing
,
algorithms
,
Query Optimization
, and
Data streaming
Créateur:
Poppe, Olga
Advisor:
Rundensteiner, Elke A.
Éditeur:
Worcester Polytechnic Institute
date créée:
2018-01-05
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Computer Science
User Evaluation Framework for Model Finding Research
Mot-clé:
Verification
,
model finding
,
Case Studies
,
model finders
,
user studies
,
user evaluation
,
formal methods
, and
logic
Créateur:
Danas, Ryan
Advisor:
Dougherty, Daniel J.
Éditeur:
Worcester Polytechnic Institute
date créée:
2016-08-31
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Similarity Reasoning over Semantic Context-Graphs
Mot-clé:
Robot Tasks
,
Plan Repair
,
Topic Modeling
,
Semantic
,
Analogy
, and
Similarity
Créateur:
Boteanu, Adrian
Advisor:
Chernova, Sonia
Éditeur:
Worcester Polytechnic Institute
date créée:
2015-08-26
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Computer Science
A Framework for Exploring Finite Models
Mot-clé:
provenance information
,
Razor
,
Aluminum
,
first-order logic
,
Geometric Logic
,
Chase
,
finite model-finding
, and
exploration
Créateur:
Saghafi, Salman
Advisor:
Dougherty, Daniel J.
Éditeur:
Worcester Polytechnic Institute
date créée:
2015-04-30
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Computer Science
Supporting Multi-Criteria Decision Support Queries over Disparate Data Sources
Mot-clé:
Cardinality Assurance
,
Skyline Queries
,
Multi-Criteria Decision Support
,
Progressive Query Evaluation
,
Query Processing
,
Query Refinement
, and
Pareto-Optimal Queries
Créateur:
Raghavan, Venkatesh
Advisor:
Rundensteiner, Elke A.
Éditeur:
Worcester Polytechnic Institute
date créée:
2012-04-17
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Computer Science
Extending Complex Event Processing for Advanced Applications
Mot-clé:
Complex Event Processing
,
Privacy Preserving
,
Utility Maximization
,
Transactional Stream
,
Event Suppression
, and
Probabilistic Inference
Créateur:
Wang, Di
Advisor:
Rundensteiner, Elke A.
Éditeur:
Worcester Polytechnic Institute
date créée:
2013-04-30
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Computer Science
« Précédente
Suivante »
1
2
3
Toggle facets
Limiter votre recherche
Collections
PhD Dissertations
16
Masters Theses
7
Masters Reports
1
Year
Year range begin
–
Year range end
Current results range from
2004
to
2023
View distribution
Créateur
Adler, Jonathan D
1
Boteanu, Adrian
1
Castro, Francisco Enrique Vi G.
1
Chen, Li
1
Danas, Ryan
1
plus
Créateurs
»
Advisor
Brown, Donald R.
1
Chernova, Sonia
1
Claypool, Mark L.
1
Dougherty, Daniel J.
10
Fisler, Kathryn
2
plus
Advisors
»
Contributor
Ari, Ismail
1
Brown, Donald R.
1
Chandramouli, Badrish
1
Chernova, Sonia
1
Claypool, Mark L.
1
plus
Contributors
»
Unit (Department)
Computer Science
20
Electrical & Computer Engineering
2
Mathematical Sciences
1
Éditeur
Worcester Polytechnic Institute
24
Type de ressource
Dissertation
16
Thesis
7
Report
1
License
https://creativecommons.org/licenses/by/4.0/
1