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
biblio
Research of the Innovative Integration of Artificial Intelligence and Vocational Education in the New Ecology of Education
Submitted by grigby1 on Tue, 09/20/2022 - 1:28pm
expert systems
vocational education
top-level strategy
Management information systems
integration
education ecology
Ecology
Human Factors
Decision support systems
Artificial Intelligence
education
innovation
Law
privacy
Scalability
Software
Human behavior
pubcrawl
biblio
Policy Network Assisted Monte Carlo Tree Search for Intelligent Service Function Chain Deployment
Submitted by grigby1 on Fri, 09/09/2022 - 2:53pm
network security
virtual network function
Monte Carlo Tree Search
Resiliency
service function chain
service function chaining
Reinforcement learning
Monte Carlo methods
virtualization privacy
search problems
composability
privacy
Software
resilience
Metrics
Human behavior
pubcrawl
biblio
undeSErVed trust: Exploiting Permutation-Agnostic Remote Attestation
Submitted by grigby1 on Fri, 09/09/2022 - 2:53pm
Cloud Computing
pubcrawl
Human behavior
Metrics
resilience
Software
Throughput
privacy
Protocols
composability
Runtime
operating systems
virtualization privacy
Resiliency
Cryptographic systems (practical attacks on deployed systems)
Virtualization and the cloud
biblio
Network and Software Architecture Improvements for a Highly Automated, Robust and Efficient Realization of the Italian National Time Scale
Submitted by grigby1 on Fri, 09/09/2022 - 2:21pm
automation
timing
time scale generation
time and frequency laboratory
informatics architecture
Software Architecture
Resiliency
Monitoring
Time measurement
Time Frequency Analysis
Redundancy
Frequency measurement
security
Time-frequency Analysis
software reliability
virtual machine
Robustness
resilience
Cybersecurity
Scalability
maintenance
Software
Metrics
pubcrawl
biblio
Security Verification Method of Embedded Operating System Semaphore Mechanism based on Coq
Submitted by aekwall on Fri, 08/26/2022 - 12:23pm
Redundancy
Software Testing
semaphore
formal verification
embedded operating system
software security
usability
component
Safety
security
composability
Resiliency
Metrics
pubcrawl
operating systems
Software
embedded systems
biblio
Cybersecurity Certification for Agile and Dynamic Software Systems – a Process-Based Approach
Submitted by aekwall on Fri, 08/26/2022 - 12:10pm
security
Software
pubcrawl
Resiliency
composability
computer security
certification
Predictive Metrics
process control
ISO standards
Standards organizations
IEC standards
Agile development
Dynamical Systems
biblio
Design and Implementation of Task Driven Communication System with Multi-user Authority
Submitted by grigby1 on Fri, 08/26/2022 - 11:23am
Java
task driven
multi-user rights
high concurrency
Communication Systems
Concurrency
Instruction sets
communication system
Metrics
security
Smart Grids
composability
Hardware
Software
Resiliency
resilience
pubcrawl
biblio
BinSide : Static Analysis Framework for Defects Detection in Binary Code
Submitted by aekwall on Fri, 08/12/2022 - 4:10pm
Software
Libraries
tools
optimization
Conferences
Resiliency
Human behavior
Engines
static analysis
pubcrawl
binary static analysis
defects detection
value analysis
composabiity
biblio
Towards a firmware TPM on RISC-V
Submitted by grigby1 on Thu, 08/04/2022 - 5:04pm
IoT security
trusted platform modules
Trusted Platform Module
processor
fTPM
edge security
Edge Processing
RISC-V
Trusted Computing
automotive security
security
Resistance
side-channel attacks
Program processors
composability
system-on-chip
Software
Resiliency
resilience
pubcrawl
biblio
Assessing Trustworthiness of IoT Applications Using Logic Circuits
Submitted by grigby1 on Wed, 08/03/2022 - 4:13pm
logic circuits
Internet of Things
Training
machine learning
machine learning algorithms
pubcrawl
Software
Computational modeling
composability
Software algorithms
trustworthiness
trust
computationally constrained devices
1
2
3
4
5
6
7
8
9
…
next ›
last »
