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:
Advisor
Dougherty, Daniel J.
Supprimer la restriction Advisor: Dougherty, Daniel J.
« Précédente
|
41
-
48
sur
48
| 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
Analysis of social networks using Facebook
Mot-clé:
Mathematical models
,
Internet--Social aspects
, and
Social networks
Créateur:
Roy, Christian A.
and
Adler, Jonathan D.
Advisor:
Dougherty, Daniel J.
and
Selkow, Stanley M.
Éditeur:
Worcester Polytechnic Institute
date créée:
2007-01-01
Resource Type:
Interactive Qualifying Project
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
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
First-Order Models for Configuration Analysis
Mot-clé:
firewalls
,
Security
,
static analysis
,
logic
,
scenarios
,
model finding
, and
configuration
Créateur:
Nelson, Tim
Advisor:
Dougherty, Daniel J.
and
Fisler, Kathryn
Éditeur:
Worcester Polytechnic Institute
date créée:
2013-04-25
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Computer Science
Multi-Decision Policy and Policy Combinator Specifications
Mot-clé:
Margrave
,
Access Control
,
specifications
,
policies
,
policy combinators
, and
formal methods
Créateur:
Giannakopoulos, Theophilos John
Advisor:
Dougherty, Daniel J.
Éditeur:
Worcester Polytechnic Institute
date créée:
2012-02-21
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Graph Decompositions and Monadic Second Order Logic
Mot-clé:
clique width
,
Graph Theory
,
logic
, and
tree decompositions
Créateur:
Adler, Jonathan D
Advisor:
Dougherty, Daniel J.
and
Martin, William J.
Éditeur:
Worcester Polytechnic Institute
date créée:
2009-04-27
Resource Type:
Report
Degree:
MS
Unit (Department):
Mathematical Sciences
Noninterference in Concurrent Game Structures
Mot-clé:
Security
,
confidentiality
, and
noninterference
Créateur:
Mardziel, Piotr
Advisor:
Dougherty, Daniel J.
Éditeur:
Worcester Polytechnic Institute
date créée:
2007-05-02
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Formalization and Verification of Rewriting-Based Security Polices
Mot-clé:
Access Control
,
Maude
, and
term rewriting
Créateur:
Veselinov, Roman Nikolov
Advisor:
Dougherty, Daniel J.
Éditeur:
Worcester Polytechnic Institute
date créée:
2008-04-30
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
« Précédente
Suivante »
1
2
3
4
5
Toggle facets
Limiter votre recherche
Collections
Major Qualifying Projects
37
Masters Theses
7
PhD Dissertations
2
Interactive Qualifying Projects
1
Masters Reports
1
Year
Year range begin
–
Year range end
Current results range from
2003
to
2023
View distribution
Créateur
Adler, Jonathan D
1
Adler, Jonathan D.
1
Andrews, Craig H.
1
Angulo, Marco V.
1
Antonatos, Spyridon
1
plus
Créateurs
»
Advisor
Abraham, Jon P.
8
Brown, Donald R.
1
Christopher, Peter R.
1
Ciaraldi, Michael J.
2
Dougherty, Daniel J.
[remove]
48
plus
Advisors
»
Contributor
Dougherty, Daniel J.
10
Fisler, Kathryn
1
Guttman, Joshua
2
Heineman, George T.
1
Krishnamurthi, Shriram
1
plus
Contributors
»
Project Center
MITRE-Bedford, Massachusetts Project Center - MQP
1
Silicon Valley, California Project Center - MQP
1
Wall Street-FinTech Project Center (Boston or New York) - MQP
13
Wall Street-FinTech Project Center (London) - MQP
3
Major
Actuarial Mathematics
4
Computer Science
27
Electrical & Computer Engineering
2
Industrial Engineering
2
Interdisciplinary
9
plus
Majors
»
Unit (Department)
Computer Science
8
Mathematical Sciences
1
Éditeur
Worcester Polytechnic Institute
48
Assujettir
Community
1
Computing
1
Type de ressource
Major Qualifying Project
37
Thesis
7
Dissertation
2
Interactive Qualifying Project
1
Report
1
License
https://creativecommons.org/licenses/by/4.0/
1