Skip to Content
Toggle navigation
Inicio
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
Iniciar sesión
Explore, Discover, Share
Ir
Advanced search
Buscar
Borrar filtros
Filtrado por:
Contributor
Fisler, Kathryn
Eliminar la restricciónContributor: Fisler, Kathryn
« Anterior |
1
-
10
de
12
|
Siguiente »
Ordenar por relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
El número de resultados a mostrar por página
10 por página
10
por página
20
por página
50
por página
100
por página
Ver Resultados por:
Lista
Gallery
Masonry
Slideshow
Resultados de la búsqueda
Development of a Data-Grounded Theory of Program Design in HTDP
Palabra clave:
Program design
,
Human-centered computing
,
Cognition
,
Planning
,
Computing education
, and
Functional programming
Creador:
Castro, Francisco Enrique Vi G.
Advisor:
Fisler, Kathryn
Editor:
Worcester Polytechnic Institute
Fecha de Creacion:
2020-05-18
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Computer Science
Improving the Efficiency of Homomorphic Encryption Schemes
Palabra clave:
homomorphic encryption
Creador:
Hu, Yin
Advisor:
Sunar, Berk
Editor:
Worcester Polytechnic Institute
Fecha de Creacion:
2013-04-25
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Electrical & Computer Engineering
First-Order Models for Configuration Analysis
Palabra clave:
firewalls
,
Security
,
static analysis
,
logic
,
scenarios
,
model finding
, and
configuration
Creador:
Nelson, Tim
Advisor:
Dougherty, Daniel J.
and
Fisler, Kathryn
Editor:
Worcester Polytechnic Institute
Fecha de Creacion:
2013-04-25
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Computer Science
Building Web Based Programming Environments for Functional Programming
Palabra clave:
compilation
,
web
,
javascript
,
programming environments
, and
Education
Creador:
Yoo, Daniel
Advisor:
Fisler, Kathryn
Editor:
Worcester Polytechnic Institute
Fecha de Creacion:
2012-04-26
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Computer Science
Disjunction of Regular Timing Diagrams
Palabra clave:
disjunction
,
timing diagrams
,
model checking
,
temporal logic
, and
Alloy
Creador:
Feng, Yu
Advisor:
Fisler, Kathryn
Editor:
Worcester Polytechnic Institute
Fecha de Creacion:
2010-10-12
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Margrave: An Improved Analyzer for Access-Control and Configuration Policies
Palabra clave:
finite model property
,
firewalls
,
applied logic
, and
Access Control
Creador:
Nelson, Timothy
Advisor:
Fisler, Kathryn
Editor:
Worcester Polytechnic Institute
Fecha de Creacion:
2010-04-13
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
An Efficient Scheme to Provide Real-time Memory Integrity Protection
Palabra clave:
Memory Authentication
and
Integrity Protection
Creador:
Hu, Yin
Advisor:
Sunar, Berk
Editor:
Worcester Polytechnic Institute
Fecha de Creacion:
2009-04-30
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Electrical & Computer Engineering
Alchemy: Transmuting Base Specifications into Implementations
Palabra clave:
Alloy
,
program synthesis
, and
relational specification
Creador:
Yoo, Daniel
Advisor:
Fisler, Kathryn
Editor:
Worcester Polytechnic Institute
Fecha de Creacion:
2009-02-26
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Feature-Oriented Specification of Hardware Bus Protocols
Palabra clave:
hardware verification
,
timing diagrams
,
language
, and
aspect-oriented programming
Creador:
Freitas, Paul Michael
Advisor:
Fisler, Kathryn
Editor:
Worcester Polytechnic Institute
Fecha de Creacion:
2008-04-29
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
An Axiomatic Semantics for Functional Reactive Programming
Palabra clave:
coq
,
monads
,
formal verification
, and
functional reactive programming
Creador:
King, Christopher T.
Advisor:
Fisler, Kathryn
Editor:
Worcester Polytechnic Institute
Fecha de Creacion:
2008-04-29
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
« Anterior
Siguiente »
1
2
Toggle facets
Limite su búsqueda
Collections
Masters Theses
8
PhD Dissertations
4
Year
Year range begin
–
Year range end
Current results range from
2003
to
2020
View distribution
Creador
Castro, Francisco Enrique Vi G.
1
Feng, Yu
1
Freitas, Paul Michael
1
Hu, Yin
2
King, Christopher T.
1
más
Creadors
»
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
más
Contributors
»
Unit (Department)
Computer Science
10
Electrical & Computer Engineering
2
Editor
Worcester Polytechnic Institute
12
Tipo de recurso
Thesis
8
Dissertation
4
