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
Libraries
biblio
Towards a TRansparent I/O Solution
Submitted by
aekwall
on Mon, 06/01/2020 - 10:49am
application behaviors
complex storage solutions
composability
cost reduction
custom code
data distribution
data lands
encryption
graph chain
In transit engine
in-transit processing
infrastructure level
infrastructure setup
infrastructure-related changes
Libraries
Logic gates
management code
metadata
middleware
middleware security
policy-based governance
preceding graph
pubcrawl
Regulated I/O
resilience
Resiliency
reusable components
security
security of data
Semantics
software reusability
source code
source code (software)
storage back-end
storage platforms
Strips
Transparent I/O
transparent I/O solution
Web service scenario security
web services
workload diversity
biblio
Extractive Persian Summarizer for News Websites
Submitted by
aekwall
on Mon, 05/18/2020 - 10:55am
automatic extractive text summarization
Data mining
English words
extractive Persian summarizer
extractive text summarization
feature extraction
feature vector
genetic algorithms
heuristic methods
heuristical and semantical
Human behavior
Libraries
natural language processing
Persian news articles
pre-processing
pubcrawl
Resiliency
salient features
salient sentences
Scalability
semantic methods
Semantics
sentence length
statistical
statistical methods
text analysis
textual information
tools
Web sites
biblio
Experience Report: How to Extract Security Protocols' Specifications from C Libraries
Submitted by
grigby1
on Fri, 04/24/2020 - 4:20pm
automatic tools
C libraries
C programming language
codelevel reverse engineering
composability
documentation
extract security protocols
formal model
Formal Specification
formal verification
human-dependent approach
Libraries
Metrics
object oriented security
object-oriented languages
object-oriented programming
Protocols
pubcrawl
resilience
Resiliency
reverse engineering
security
security of data
security protocol specifications
security protocols
Software
Task Analysis
tools
biblio
Using Safety Properties to Generate Vulnerability Patches
Submitted by
aekwall
on Mon, 04/20/2020 - 10:45am
Safety
security of data
security
Software
Resiliency
Human behavior
pubcrawl
composability
Metrics
tools
Libraries
security vulnerabilities
software maintenance
program diagnostics
program verification
relational databases
Engines
program debugging
relational database security
Automated-Program-Repair
automatic program repair methods
Buffer storage
Program-Analysis
property-based APR
safety property
safety-property
Software-Patch
Software-Vulnerability
source code patches
vulnerability-specific safety properties
biblio
Side Channel Attacks in Computation Offloading Systems with GPU Virtualization
Submitted by
grigby1
on Fri, 04/17/2020 - 10:23am
cloud
Cloud Computing
composability
computation offloading systems
computation performance
Cryptography
GPU systems
GPU vendors
GPU virtualization
graphics processing units
high-performance GPUs
Human behavior
Human Factors
intensive computation
Internet of Things
IoT
Kernel
learning (artificial intelligence)
Libraries
Metrics
mobile computing
mobile systems
operating system
privacy
pubcrawl
resilience
Resiliency
Runtime
side channel attack
side channel attacks
side-channel attacks
virtual machine
virtual machines
virtualisation
Virtualization
virtualization privacy
biblio
A Method of Conflict Detection for Security Policy Based on B+ Tree
Submitted by
grigby1
on Fri, 04/03/2020 - 12:04pm
B+ tree
B+ tree-based security policy conflict detection method
collaboration
Communication networks
computer network management
computer network security
conflict detection
detection algorithms
Indexes
Libraries
network management system
network security
Policy Based Governance
policy conflict
policy-based governance
Protocols
pubcrawl
Redundancy
security
security policy
tree data structures
trees (mathematics)
biblio
CAG: Compliance Adherence and Governance in Software Delivery Using Blockchain
Submitted by
grigby1
on Fri, 04/03/2020 - 12:04pm
auditing
blockchain
blockchain technologies
building software
client industry
collaboration
compliance adherence and governance
compliance specifications
contracts
copyright issues
Crowd Sourcing
cryptocurrencies
decentralized CAG
development activities
disparate sources
distributed teams
economic challenges
extraordinary amounts
functional specifications
geographically distributed teams
Global Software Development
legislation
level agreements
Libraries
License verification
Licenses
litigations
metadata
noncomplaint license software
nonconformant behavior
open source components
open-source software components
Policy Based Governance
pubcrawl
public domain software
SDLC
security risks
smart contracts
Software
software delivery
software development life cycle
software development management
software engineering
standard compliances
technical challenges
vulnerability assessment
biblio
Prototype Container-Based Platform for Extreme Quantum Computing Algorithm Development
Submitted by
aekwall
on Mon, 03/30/2020 - 11:41am
Cloud Computing
Scalability
Hardware
Software
Resiliency
pubcrawl
composability
Libraries
source code (software)
Containers
quantum computing
Predictive Metrics
Prototypes
cloud computing software environment
cloud computing system
computer security challenges
Docker container environment
Docker Containers
IBM Q Experience
IBM Q Experience Web site
prototype container based system
prototype container system
prototype container-based platform
prototype environment
Qiskit source codes
quantum computer
quantum computing algorithm development
quantum computing devices
quantum computing hardware platforms
quantum simulators
rapid prototype development
quantum computing security
biblio
QRStream: A Secure and Convenient Method for Text Healthcare Data Transferring
Submitted by
aekwall
on Mon, 03/30/2020 - 11:40am
security of data
Servers
data privacy
electronic health records
Medical services
Organizations
Resiliency
pubcrawl
Cryptography
Decoding
metadata
Libraries
text analysis
cyber physical systems
security problems
Payloads
health care
QR codes
privacy problems
electronic health data transferring
health awareness
health data delivery
health information
healthcare activities
healthcare organization
QRStream
text healthcare data transferring
biblio
CapExec: Towards Transparently-Sandboxed Services
Submitted by
grigby1
on Fri, 03/27/2020 - 11:37am
tools
collaboration
security
pubcrawl
policy-based governance
composability
Runtime
Libraries
Memory management
application security
Capsicum
Cats
compartmentalization
Containers
sandboxing
service manager
1
2
3
4
5
6
next ›
last »
