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
Fisler, Kathryn
Supprimer la restriction Contributor: Fisler, Kathryn
« Précédente |
1
-
10
sur
12
|
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
Download search results to .CSV file
Résultats de recherche
Add to Category
Remove From Category
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
Improving the Efficiency of Homomorphic Encryption Schemes
Mot-clé:
homomorphic encryption
Créateur:
Hu, Yin
Advisor:
Sunar, Berk
Éditeur:
Worcester Polytechnic Institute
date créée:
2013-04-25
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Electrical & Computer Engineering
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
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
Disjunction of Regular Timing Diagrams
Mot-clé:
disjunction
,
timing diagrams
,
model checking
,
temporal logic
, and
Alloy
Créateur:
Feng, Yu
Advisor:
Fisler, Kathryn
Éditeur:
Worcester Polytechnic Institute
date créée:
2010-10-12
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Margrave: An Improved Analyzer for Access-Control and Configuration Policies
Mot-clé:
finite model property
,
firewalls
,
applied logic
, and
Access Control
Créateur:
Nelson, Timothy
Advisor:
Fisler, Kathryn
Éditeur:
Worcester Polytechnic Institute
date créée:
2010-04-13
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
An Efficient Scheme to Provide Real-time Memory Integrity Protection
Mot-clé:
Memory Authentication
and
Integrity Protection
Créateur:
Hu, Yin
Advisor:
Sunar, Berk
Éditeur:
Worcester Polytechnic Institute
date créée:
2009-04-30
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Electrical & Computer Engineering
Alchemy: Transmuting Base Specifications into Implementations
Mot-clé:
Alloy
,
program synthesis
, and
relational specification
Créateur:
Yoo, Daniel
Advisor:
Fisler, Kathryn
Éditeur:
Worcester Polytechnic Institute
date créée:
2009-02-26
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Feature-Oriented Specification of Hardware Bus Protocols
Mot-clé:
hardware verification
,
timing diagrams
,
language
, and
aspect-oriented programming
Créateur:
Freitas, Paul Michael
Advisor:
Fisler, Kathryn
Éditeur:
Worcester Polytechnic Institute
date créée:
2008-04-29
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
An Axiomatic Semantics for Functional Reactive Programming
Mot-clé:
coq
,
monads
,
formal verification
, and
functional reactive programming
Créateur:
King, Christopher T.
Advisor:
Fisler, Kathryn
Éditeur:
Worcester Polytechnic Institute
date créée:
2008-04-29
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
« Précédente
Suivante »
1
2
Toggle facets
Limiter votre recherche
Collections
Masters Theses
8
PhD Dissertations
4
Year
Year range begin
–
Year range end
Current results range from
2003
to
2020
View distribution
Créateur
Castro, Francisco Enrique Vi G.
1
Feng, Yu
1
Freitas, Paul Michael
1
Hu, Yin
2
King, Christopher T.
1
plus
Créateurs
»
Advisor
Dougherty, Daniel J.
1
Fisler, Kathryn
10
Sunar, Berk
2
Contributor
Dorn, Brian
1
Dougherty, Daniel J.
2
Fisler, Kathryn
[remove]
12
Guttman, Joshua
2
Krishnamurthi, Shriram
1
plus
Contributors
»
Unit (Department)
Computer Science
10
Electrical & Computer Engineering
2
Éditeur
Worcester Polytechnic Institute
12
Type de ressource
Thesis
8
Dissertation
4