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
Read-only archive of site from September 29, 2023.
CPS-VO
Computer languages
biblio
A Deep Study of the Effects and Fixes of Server-Side Request Races in Web Applications
Submitted by grigby1 on Fri, 05/12/2023 - 10:27am
Metrics
web-application request races
Synchronization
Software
Semantics
security
Resiliency
resilience
Object-Relational Mapping
pubcrawl
fix strategies
external and internal effects
concurrency control
Concurrency
Computer languages
Computer bugs
composability
characteristic study
biblio
A Deep Dive into Blockchain-based Smart Contract-specific Security Vulnerabilities
Submitted by grigby1 on Fri, 04/14/2023 - 4:11pm
blockchain
blockchain security
blockchains
codes
Computer bugs
Computer languages
DApp
pubcrawl
Resiliency
Scalability
security
Smart contract vulnerabilities
smart contracts
Writing
biblio
Leveraging Peer Feedback to Improve Visualization Education
Submitted by grigby1 on Mon, 03/06/2023 - 5:03pm
Scalability
Reinforced Learning from Human Feedback
evaluation methods
concepts and paradigms
Visualization design
Visualization theory
pubcrawl
resilience
Resiliency
Human Factors
computer science
encoding
Computer languages
visualization
Grammar
education
human-centered computing
codes
biblio
Effectiveness on C Flaws Checking and Removal
Submitted by grigby1 on Fri, 02/17/2023 - 5:42pm
Telecommunications
Code Correction
Buffer Overflow Vulnerabilities
Buffer overflows
software assurance
static analysis
Rail transportation
software security
embedded systems
pubcrawl
Computer languages
fuzzing
Memory management
Scalability
Software
Resiliency
resilience
biblio
Static Analysis Warnings and Automatic Fixing: A Replication for C\# Projects
Submitted by aekwall on Thu, 02/02/2023 - 4:23pm
static code analysis
Human behavior
Resiliency
composability
C\# languages
codes
Computer languages
Conferences
Java
programming
pubcrawl
static analysis
biblio
Compositional Non-Interference for Fine-Grained Concurrent Programs
Submitted by grigby1 on Fri, 08/26/2022 - 11:25am
Metrics
Separation Logic
logical relations
fine-grained concurrency
non-interference
Coq
Concurrency
Iris
automation
Concurrent computing
security
Buildings
Computer languages
Manuals
composability
privacy
Resiliency
resilience
pubcrawl
biblio
IoT Cooking Workflows for End-Users: A Comparison Between Behaviour Trees and the DX-MAN Model
Submitted by aekwall on Fri, 08/12/2022 - 3:56pm
visualization
Internet of Things
Semantics
Complexity theory
Computer languages
pubcrawl
Compositionality
Model driven engineering
Behavior Trees
DX-MAN model
End-User Development
biblio
Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types
Submitted by grigby1 on Fri, 08/12/2022 - 2:08pm
pubcrawl
Resiliency
Conferences
composability
Program processors
fuzzing
Computer bugs
Computer languages
Metrics
Degradation
compiler security
Focusing
compiler testing
program fuzzing
semantic fuzzing
biblio
Design and Development of Digital Image Security Using AES Algorithm with Discrete Wavelet Transformation Method
Submitted by grigby1 on Fri, 04/22/2022 - 1:16pm
information security
security
pubcrawl
AES
composability
Computer languages
Metrics
Task Analysis
Compositionality
Transforms
interoperability
digital images
discrete wavelet transforms
decomposition
discrete Wavelet transformation
biblio
Automatic Integration of D Code With the Linux Kernel
Submitted by grigby1 on Mon, 03/14/2022 - 12:23pm
memory safety
Linux kernel
D programming language
automatic integration
codes
device drivers
Syntactics
Metrics
Policy Based Governance
Safe Coding
tools
Computer languages
Linux
Memory management
Safety
Resiliency
resilience
Human Factors
Human behavior
pubcrawl
1
2
3
next ›
last »