Index Catalog // Digital WPI

Skip to Content

Digitalwpilogo 2019

Home
Browse
- Browse by Collection
- Browse by Project Center
About
Help

Explore, Discover, Share

Search Constraints

Start Over

Filtering by: Contributor Dougherty, Daniel J. Remove constraint Contributor: Dougherty, Daniel J.

« Previous | 1 - 10 of 12 | Next »

relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲

Number of results to display per page

10 per page
20 per page
50 per page
100 per page

View results as:

List Gallery Masonry Slideshow

Search Results

Alloy-Guided Verification of Cooperative Autonomous Driving Behavior

Keyword:

Formal modeling, Formal verification, Alloy, and Cooperative autonomous driving (CAD)

Creator:

VanValkenburg, MaryAnn E.

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2020-05-18

Resource Type:

Thesis

Degree:

MS

Unit:

Computer Science
User Evaluation Framework for Model Finding Research

Keyword:

model finders, logic, formal methods, Verification, user studies, user evaluation, model finding, and Case Studies

Creator:

Danas, Ryan

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2016-08-31

Resource Type:

Thesis

Degree:

MS

Unit:

Computer Science
A Framework for Exploring Finite Models

Keyword:

Geometric Logic, Aluminum, Chase, Razor, finite model-finding, exploration, first-order logic, and provenance information

Creator:

Saghafi, Salman

Advisor:

Dougherty, Daniel J.

Publisher:

Worcester Polytechnic Institute

Date Created:

2015-04-30

Resource Type:

Dissertation

Degree:

PhD

Unit:

Computer Science
Supporting Multi-Criteria Decision Support Queries over Disparate Data Sources

Keyword:

Multi-Criteria Decision Support, Pareto-Optimal Queries, Cardinality Assurance, Progressive Query Evaluation, Skyline Queries, Query Processing, and Query Refinement

Creator:

Raghavan, Venkatesh

Advisor:

Rundensteiner, Elke A.

Publisher:

Worcester Polytechnic Institute

Date Created:

2012-04-17

Resource Type:

Dissertation

Degree:

PhD

Unit:

Computer Science
Extending Complex Event Processing for Advanced Applications

Keyword:

Transactional Stream, Probabilistic Inference, Privacy Preserving, Complex Event Processing, Event Suppression, and Utility Maximization

Creator:

Wang, Di

Advisor:

Rundensteiner, Elke A.

Publisher:

Worcester Polytechnic Institute

Date Created:

2013-04-30

Resource Type:

Dissertation

Degree:

PhD

Unit:

Computer Science
First-Order Models for Configuration Analysis

Keyword:

static analysis, logic, firewalls, Security, model finding, scenarios, and configuration

Creator:

Nelson, Tim

Advisor:

Dougherty, Daniel J. and Fisler, Kathryn

Publisher:

Worcester Polytechnic Institute

Date Created:

2013-04-25

Resource Type:

Dissertation

Degree:

PhD

Unit:

Computer Science
Cryptographic Primitives from Physical Variables

Keyword:

Cryptography, Physically Unclonable Functions (PUFs), and Physical Variables.

Creator:

Hammouri, Ghaith

Advisor:

Sunar, Berk

Publisher:

Worcester Polytechnic Institute

Date Created:

2009-06-02

Resource Type:

Dissertation

Degree:

PhD

Unit:

Electrical & Computer Engineering
Fexprs as the basis of Lisp function application; or, $vau: the ultimate abstraction

Keyword:

Lisp, fexpr, abstraction, lambda calculus, Kernel, Scheme, and vau calculus

Creator:

Shutt, John N

Advisor:

Gennert, Michael A.

Publisher:

Worcester Polytechnic Institute

Date Created:

2010-09-01

Resource Type:

Dissertation

Degree:

PhD

Unit:

Computer Science
Robust Complex Event Pattern Detection over Streams

Keyword:

event, constraint, stream, pattern detection, Query Processing, CEP, interval, and Database

Creator:

Li, Ming

Advisor:

Mani, Murali

Publisher:

Worcester Polytechnic Institute

Date Created:

2010-04-04

Resource Type:

Dissertation

Degree:

PhD

Unit:

Computer Science
Energy Efficient Cooperative Communication

Keyword:

cooperative communication, optimum energy allocation, and game theory

Creator:

Yang, Jie

Advisor:

Brown, Donald R.

Publisher:

Worcester Polytechnic Institute

Date Created:

2009-03-13

Resource Type:

Dissertation

Degree:

PhD

Unit:

Electrical & Computer Engineering

« Previous
Next »
1
2

Limit your search

Collections

PhD Dissertations8
Masters Theses4

Year

20071
20081
20092
20102
20121
more Years »

Creator

Danas, Ryan1
Hammouri, Ghaith1
Li, Ming1
Mardziel, Piotr1
Nelson, Tim1
more Creators »

Advisor

Brown, Donald R.1
Dougherty, Daniel J.6
Fisler, Kathryn1
Gennert, Michael A.1
Mani, Murali1
more Advisors »

Contributor

Brown, Donald R.1
Chandramouli, Badrish1
Cyganski, David1
Dougherty, Daniel J.[remove]12
Eltabakh, Mohamed Y.1
more Contributors »

Unit

Computer Science10
Electrical & Computer Engineering2

Publisher

Worcester Polytechnic Institute12

Resource type

Dissertation8
Thesis4

A service of Samvera.

Digital WPI v2.5.0

Switch language English
- Switch language
- Deutsch
- English
- Español
- Français
- Italiano
- Português do Brasil
- 中文
Login

Copyright © 2018 Samvera Licensed under the Apache License, Version 2.0