Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
Writing
biblio
Toward a Natural Language-Based Approach for the Specification of Decisional-Users Requirements
Submitted by aekwall on Mon, 02/22/2021 - 12:40pm
Scalability
Ontologies
Task Analysis
Resiliency
Human behavior
pubcrawl
query processing
tools
Decision Making
data analysis
natural language processing
Writing
Data Analytics
data warehouses
cleaning
critical task
Natural languages
complex task
Constellation schema
Data Warehouse
Data Warehouse technology
decision-makers
decision-making processes
decisional-users requirements
DW design
DW model
DW multidimensional schema
great challenge research domain
multidimensional components
Multidimensional Model
natural language
natural language NL-template
NL-templates
OLAP
On-Line-Analytical-Processing queries
query-like English sentences
requirement-gathering phase
Star schema
biblio
Fair Transfer of Multiple Style Attributes in Text
Submitted by grigby1 on Fri, 12/11/2020 - 1:52pm
communication style
Decoding
deep learning
fair transfer
Focusing
Indexes
machine learning
Metrics
multi-style transfer
natural language processing
neural net architecture
neural network architecture
Neural networks
neural style transfer
one-style transfer
pubcrawl
resilience
Resiliency
Scalability
single-style transfers
style attributes
target text
text analysis
text generation
text style transfer
Training
Writing
written text
Yelp dataset
biblio
Improving MPI Collective I/O for High Volume Non-Contiguous Requests With Intra-Node Aggregation
Submitted by grigby1 on Fri, 10/30/2020 - 11:19am
I-O Systems
i-o systems security
security
Aggregates
Benchmark testing
collective MPI-IO functions
Cray XC40 parallel computers
Haswell processors
high volume noncontiguous requests
input-output programs
Intel KNL
internode communication contention
intranode aggregation
Libraries
message passing
MPI collective I/O
MPI processes
non-contiguous I/O
Parallel I/O
parallel jobs
parallel processing
performance evaluation
Production
Program processors
pubcrawl
request redistribution
Scalability
two-phase I/O
Writing
biblio
Enabling File-Oriented Fast Secure Deletion on Shingled Magnetic Recording Drives
Submitted by grigby1 on Fri, 07/10/2020 - 10:41am
data deletion
data layout
Degradation
Drives
encryption
fast secure deletion
FFSD
file information
file organisation
File systems
file-oriented
file-oriented fast secure deletion strategy
Layout
magnetic recording
performance degradation
privacy
pubcrawl
Scalability
secure deletion operations
security of data
serious write amplification
shingled magnetic recording
shingled magnetic recording drives
SMR drives
storage device
Writing
biblio
Understanding Data Science Lifecycle Provenance via Graph Segmentation and Summarization
Submitted by aekwall on Mon, 03/30/2020 - 10:33am
Data models
Resiliency
Human behavior
pubcrawl
composability
graph theory
Metrics
query processing
Databases
context-free grammars
optimisation
computational complexity
meta data
metadata
Writing
Pipelines
Semantics
Provenance
data science
data handling
approximation theory
Approximation algorithms
boundary criteria
context free language
context-free grammar
data science lifecycle provenance
data science platforms
destination vertices
graph data models
graph query
graph query model
graph segmentation operator
graph summarization operator
high-level graph query operators
model management
provenance ingestion mechanisms
provenance management
PSPACE-complete
query techniques
Skeleton
source vertices
biblio
Cyberthreat Hunting - Part 2: Tracking Ransomware Threat Actors Using Fuzzy Hashing and Fuzzy C-Means Clustering
Submitted by grigby1 on Wed, 02/26/2020 - 3:41pm
Scalability
Resiliency
Metrics
Fuzzy Cryptography
Attack Surfaces
c-means clustering
Cerber
cluster ransomware samples
clustering methods
clustering techniques
composability
Context-Triggered Piecewise Hashing
Cryptography
CryptoWall
CTPH
cyberthreat hunting
efficient fuzzy analysis approach
FCM
FCM clustering results
fuzzy c-means clustering
Fuzzy Hashing
fuzzy hashing methods
fuzzy set theory
fuzzy similarity scores
fuzzy techniques
Indexes
Locky
malicious code writing
Measurement
pattern clustering
privacy
pubcrawl
Ransomware
ransomware threat actor
SDHASH
signature based defense
Similarity Preserving
SSDEEP
successful attack vectors
threat actors
threat vectors
Triaging
unknown ransomware
unlimited polymorphic samples
WannaCry
WannaCryptor
Writing
biblio
Improved Invariant Generation for Industrial Software Model Checking of Time Properties
Submitted by aekwall on Mon, 02/10/2020 - 11:11am
Safety
authorization
Software
embedded systems
pubcrawl
composability
tools
Production
Formal Specification
safety-critical software
Writing
Scalability
formal verification
automotive embedded software
formal methods
formal proof
industrial software model checking
invariant generation
model checking
model-based design tools
safety-critical properties
SMT solving
Software verification
symbolic model checking
time properties
software assurance
biblio
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
Submitted by aekwall on Mon, 12/02/2019 - 11:08am
Safety
security of data
Scalability
Resiliency
pubcrawl
Cryptography
Metrics
Libraries
program diagnostics
program verification
Writing
Space exploration
Security Properties
Compositionality
program compilers
secure code
source program
adversarial contexts
arbitrary adversarial contexts
compiled program
Computer languages
equivalent property-free
formal secure compilation criteria
full abstraction
fully abstract compilation chain
good programming languages
hyperproperties
linked adversarial code
linked adversarial target code
linked source code
linked target code
liveness
low-level target language
multiple programs
noninterference
property classes
relational hyperproperties
relational properties
robust preservation
robust property preservation
secure compilation
secure compilation chain
Secure interoperability
secure linking
Security Foundations
source language
source-level abstraction
strictly stronger security guarantees
supported security goals
trace properties
compiler security
biblio
Understanding Transition and Remanence Noise in HAMR
Submitted by aekwall on Mon, 09/30/2019 - 9:07am
Magnetic Remanence
Resiliency
Compositionality
Internet of Things
cyber physical systems
applied field
bit length
composability
Computational modeling
GP
grain pitch
Heat-assisted magnetic recording
Heat-assisted magnetic recording (HAMR)
Jitter
magnetic recording noise
Media
media noise
principal component analysis
principal components analysis
principal components analysis (PCA)
pubcrawl
remanence
remanence noise
Signal to noise ratio
spatial splitting
transition noise
Writing
biblio
Safe Automated Refactoring for Intelligent Parallelization of Java 8 Streams
Submitted by grigby1 on Thu, 09/26/2019 - 9:24am
application program interfaces
automated refactoring approach
automatic parallelization
collaboration
data structures
finite data structures
Human behavior
Human Factors
Image color analysis
infinite data structures
Instruction sets
intelligent parallelization
Java
Java 8
lambda expression side-effects
mainstream object-oriented programming languages
MapReduce-style operations
Metrics
optimizing stream code
parallel streams
Pipelines
policy-based governance
pubcrawl
Refactoring
resilience
Resiliency
running operations
safe automated refactoring
Safe Coding
Semantics
semantics-preserving fashion
sequential streams
software maintenance
static analysis
Stream API
stream code
stream operations
streams
typestate analysis
Writing
1
2
3
next ›
last »
