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
software development
biblio
Human-centric Software Engineering for Next Generation Cloud- and Edge-based Smart Living Applications
Submitted by grigby1 on Mon, 03/29/2021 - 1:16pm
aging
Cloud Computing
data analysis
data analysis applications
data privacy
data visualisation
diverse software usability defects
diversity and inclusion
domain-specific visual models
edge computing
edge computing applications
edge-based smart living applications
edge-based software systems
end user emotions
expert systems
Formal Specification
human computer interaction
Human Factors
human usage patterns
human-centric security
human-centric software engineering
Intelligent sensors
Internet of Things
next generation cloud
next-generation applications
privacy
Privacy Requirements
pubcrawl
Scalability
smart cities
smart city-related data
Smart homes
smart living systems
Software
software activities
software development
software engineering
software requirements engineering
user centred design
user interfaces
visualization
biblio
One Size Does Not Fit All: A Grounded Theory and Online Survey Study of Developer Preferences for Security Warning Types
Submitted by aekwall on Mon, 03/15/2021 - 12:09pm
security of data
Scalability
Organizations
security
Software
Resiliency
pubcrawl
Metrics
tools
machine learning
software engineering
static analysis
software development
program diagnostics
security issues
Compositionality
compiler security
secure software
security tools
14 professional software developers
50 professional software developers
code security
developer preferences
developer security warnings
development tools
Grounded Theory study
Qualitative research
security checkers
security warning types
security warnings
static analysis engines
warning interactions
warning type
biblio
Software Development of Electronic Digital Signature Generation at Institution Electronic Document Circulation
Submitted by aekwall on Mon, 02/08/2021 - 1:45pm
Scalability
Cryptography
Software
Resiliency
pubcrawl
blockchain
software engineering
software development
digital signatures
Information systems
RSA
document handling
DSA
electronic digital signature
Consumer electronics
ECDSA
blockchain storage
blockchain storage of electronic signatures
central Web-server
cryptographic module
documented information exchanging
electronic digital signature generation
electronic document circulation
GOST RF Standard 34.10–2018
institution electronic document circulation
secure key storage
software tools
Web-interface
biblio
Establishing Trust in Binary Analysis in Software Development and Applications
Submitted by aekwall on Mon, 02/01/2021 - 11:41am
security of data
Software
Trusted Computing
Human behavior
pubcrawl
standards
tools
Libraries
computer security
software engineering
software development
Binary Analysis
trust
data loss
binary code
Binary codes
human trust
binary analysis techniques
binary analysis tools
binary code behavior
binary code components
binary component
binary release metadata
implementation risk assessment
knowledge acquisition
knowledge elicitations
security vulnerability minimization
software programmer trust
source security
vulnerability reports
biblio
Research on a General Fast Analysis Algorithm Model for Pd Acoustic Detection System: The Software Development
Submitted by aekwall on Mon, 08/03/2020 - 10:16am
2D PRPD histograms
3G mobile communication
acoustic detection
Acoustic Fingerprints
acoustic signal detection
automation
batch processing analysis
composability
data processing software
defect discharge data
developed software pages
easy fault location
fault diagnosis
fault location
gas insulated substations
general fast analysis algorithm model
GIS
Human behavior
individual data file
insulation defect detection
intelligent analysis
mechatronics
partial discharge measurement
pattern identification
PD acoustic detection system
PD AE signals analysis software
power engineering computing
power system equipments
pubcrawl
Q measurement
Resiliency
signal flow chart
software development
biblio
Uncertain Requirements, Assurance and Machine Learning
Submitted by aekwall on Mon, 02/10/2020 - 12:10pm
security
Safety
Ontologies
Software
feature extraction
learning (artificial intelligence)
machine learning
pubcrawl
composability
social networking (online)
social networks
uncertainty
privacy
software engineering
software development
assurance
safety-critical software
Scalability
formal verification
assurance case
automotive
conventional machine-learned
deductive verification
financial data processing
financial services
governing bodies
human judgement
inductive assurance
linked evidence
machine-learned components
machine-learning
open-world functionality
pragmatic assurance
predefined requirements
requirements engineering
safety assessment
safety-critical domains
software construction
Standards organizations
uncertain requirements
vehicle control
verification proofs
software assurance
biblio
A Comparative Analysis of Static Code Analysis Tools That Check Java Code Adherence to Java Coding Standards
Submitted by grigby1 on Mon, 02/10/2020 - 11:34am
Concurrency
security
analyzers
Coding Standard Analyzers
Comparative Analysis
composability
concurrency (computers)
critical system
exceptions
Human behavior
International Java Coding Standards
Java
Java code adherence
Java code analysis
Java Coding Standards Enforcing Tools
Java programming language
JPL Coding Standards
program diagnostics
pubcrawl
quality
resilience
Resiliency
software development
software maintenance
software quality
standards
static analysis
static code analysis
static code analysis tool
style
testing
biblio
Research on Modeling Method of Visualized Plane Topology in Electric Power System
Submitted by aekwall on Mon, 01/20/2020 - 11:46am
algorithm module
compatibility
composability
development method
distribution network system
Electric Power System
Erbium
expandability
Microsoft Foundation Classes application framework
Microsoft Foundation Classes(MFC)
Microsoft Visual Studio
model array file module
Plane topology
plane topology modeling platform
platform development
platform interface module
power system
power system analysis computing
power system operation analysis
power system visualization plane topology modeling
primitive library module
pubcrawl
Resiliency
short development cycle
software development
software metrics
topology array file module
user-defined power system
visualized plane topology
biblio
Threat Extraction Method Based on UML Software Description
Submitted by aekwall on Mon, 03/04/2019 - 10:49am
Threat Modeling
security of data
security
Resiliency
pubcrawl
composability
Computational modeling
software security
Databases
software engineering
Extracting threats
human knowledge
knowledge based systems
security relevant attributes
sequence diagram
software application
software behavior
software development
software system
Software systems
threat extraction method
threat knowledge base
UML software description
Unified modeling language
Automated Secure Software Engineering
biblio
Functionality and Security Co-Design Environment for Embedded Systems
Submitted by grigby1 on Thu, 02/14/2019 - 11:23am
Resilient Security Architectures
Resiliency
adversarial cyber effects
anomalies detection
asymmetric multicore processing
Availability
co-design
co-design environment
command and control systems
Complexity theory
computer network security
critical missions
Cryptography
deliberate attacks
department of defense mission systems
DoD
electronic signal intelligence systems
electronic warfare
embedded systems
functionality
Hardware
hardware development
intelligence surveillance and reconnaissance sensors
Lincoln asymmetric multicore processing architecture
Mission Assurance
mission functions
Multicore processing
multiprocessing systems
pubcrawl
recovery
resilience
resilient embedded system
Secure Processing
security
software development
Sophisticated Attacks
surveillance
System recovery
testbed
1
2
next ›
last »
