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
Guttman, Joshua
Supprimer la restriction Contributor: Guttman, Joshua
1
-
5
sur
5
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 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
Practical and Theoretical Applications of the Regularity Lemma
Mot-clé:
regularity lemma; combinatorics
and
Data Mining
Créateur:
Song, Fei
Advisor:
Sarkozy, Gabor N
Éditeur:
Worcester Polytechnic Institute
date créée:
2013-04-22
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Computer Science
Secure and Reliable Data Outsourcing in Cloud Computing
Mot-clé:
data reliability
,
cloud storage
,
keyword search
,
Cloud Computing
,
data availability
,
graph query
,
ranked search
,
Security
, and
Privacy Preserving
Créateur:
Cao, Ning
Advisor:
Lou, Wenjing
Éditeur:
Worcester Polytechnic Institute
date créée:
2012-07-31
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Electrical & Computer Engineering
Building Web Based Programming Environments for Functional Programming
Mot-clé:
compilation
,
web
,
javascript
,
programming environments
, and
Education
Créateur:
Yoo, Daniel
Advisor:
Fisler, Kathryn
Éditeur:
Worcester Polytechnic Institute
date créée:
2012-04-26
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Computer Science
Toggle facets
Limiter votre recherche
Collections
PhD Dissertations
5
Year
Year range begin
–
Year range end
Current results range from
2012
to
2015
View distribution
Créateur
Cao, Ning
1
Nelson, Tim
1
Saghafi, Salman
1
Song, Fei
1
Yoo, Daniel
1
Advisor
Dougherty, Daniel J.
2
Fisler, Kathryn
2
Lou, Wenjing
1
Sarkozy, Gabor N
1
Contributor
Dougherty, Daniel J.
2
Fisler, Kathryn
2
Guttman, Joshua
[remove]
5
Gyarfas, Andras
1
Heineman, George T.
1
plus
Contributors
»
Unit (Department)
Computer Science
4
Electrical & Computer Engineering
1
Éditeur
Worcester Polytechnic Institute
5
Type de ressource
Dissertation
5