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
Object oriented modeling
biblio
Scalable Simulation-Based Verification of SystemC-Based Virtual Prototypes
Submitted by aekwall on Mon, 03/16/2020 - 10:39am
SystemC VP
Computer simulation
design verification
Electronic System Level
semiconductor industry
simulation behavior
Simulation-based Verification
SystemC
SystemC language
scalable verification
SystemC-based virtual prototypes
systems analysis
TLM
TLM-2.0 rules
Transaction Level Modeling framework
Virtual Prototype
virtual prototyping
Scalability
Protocols
Resiliency
pubcrawl
Computational modeling
standards
Formal Specification
verification
timing
Hardware
Predictive Metrics
Prototypes
Compositionality
formal verification
Clang
hardware description languages
Object oriented modeling
biblio
Estimation of Information System Security Using Hybrid Simulation in AnyLogic
Submitted by aekwall on Mon, 03/09/2020 - 11:16am
Petri nets
Security Risk Estimation
perimeter protection
Object oriented modeling
information system security
hybrid simulation
discrete event simulation
deterministic and probabilistic model
context-role
Permission
security system analysis
business data processing
Human Factors
security of data
Information systems
Probabilistic logic
Mathematical model
optimisation
Data protection
optimization
Metrics
pubcrawl
Resiliency
information security
Scalability
biblio
Information-Centric IoT Middleware Overlay: VSL
Submitted by grigby1 on Tue, 01/21/2020 - 11:27am
Scalability
name-based communication architectures complement
Object oriented modeling
Peer-to-peer computing
physical environments
physical surroundings
pubcrawl
resilience
Resiliency
name-based communication architectures
security-by-design
semantically-rich data item lookup
service-centric
service-centric designs
site-local data-centric architecture
site-local installations
virtual state layer
Information Centric Networks
Context modeling
Data models
data-centric
data-centric Internet architectures
data-centric VSL interface
edge-based installations
explicit data
Information Centric Network
computer architecture
information-centric
information-centric IoT middleware overlay
Internet of Things
Internet weather databases
IoT services
middleware
name-based
biblio
A Framework for Threat-Driven Cyber Security Verification of IoT Systems
Submitted by grigby1 on Fri, 06/28/2019 - 10:36am
scalable verification
model checking-based formal analysis
modeling
Object oriented modeling
production engineering computing
pubcrawl
resilience
Resiliency
Scalability
mitigation strategies
security
security of data
Security Properties
Silicon
system deployment
system security
threat-driven cyber security verification
Alloy
Metrics
Metals
IoT systems
IoT
Internet of Things
industrial IoT infrastructures
industrial control
formal verification
distributed industrial control systems
distributed control
control systems
Compositionality
Communication channels
attack patterns
Analytical models
biblio
A Social Science-based Approach to Explanations for (Game) AI
Submitted by grigby1 on Mon, 12/10/2018 - 11:41am
human working memory limitation
xai
working memory
super-sensors
social sciences
social science-based approach
Scalability
Resiliency
resilience
pubcrawl
Object oriented modeling
learning (artificial intelligence)
image recognition
AI revolution
GVGAI framework
Games
explainable AI
deep learning methods
computer games
Complexity theory
complex algorithmic systems
collaboration
Brain modeling
bottom-up approach
baseline definition
Artificial Intelligence
biblio
A Scalable and Reconfigurable Verification and Benchmark Environment for Network on Chip Architecture
Submitted by grigby1 on Wed, 05/09/2018 - 2:47pm
on-chip component
verification
UVM
Universal Verification Methodology
traffic control
Throughput
system-on-chip
standardized methodology
scalable verification
Scalability
reusable methodology
Resiliency
resilience
reconfigurable verification
pubcrawl
benchmark
Object oriented modeling
NoC
network-on-chip architecture
network-on-chip
Monitoring
Metrics
interconnection architectures
integrated circuit design
Generators
Compositionality
complex on-chip communication problems
Benchmark testing
benchmark environment
biblio
Semantic Information Fusion to Enhance Situational Awareness in Surveillance Scenarios
Submitted by grigby1 on Tue, 02/06/2018 - 2:04pm
inference mechanisms
Network reconnaissance
National security
military computing
military applications
Markov processes
Markov logic network
logical reasoning
knowledge model
ISR-AA
intelligence-surveillance-and-reconnaissance analytics architecture
information integration
Object oriented modeling
high-level data fusion component
enhanced situational awareness
Databases
Data mining
Data integration
critical events detection
cognition
civil protection
autonomous aerial vehicles
aerospace computing
Resiliency
Unmanned Aircraft Systems
UAS
surveillance scenarios
surveillance
situational picture
situational awareness
sensor fusion
sensor data
semantic information fusion
security forces
video surveillance
reasoning component
pubcrawl
probabilistic reasoning
Probabilistic logic
probabilistic information processing
OOWM
Ontology
ontologies (artificial intelligence)
object-oriented world model
object-oriented methods
biblio
Introducing Remote Attestation and Hardware-Based Cryptography to OPC UA
Submitted by grigby1 on Tue, 02/06/2018 - 1:59pm
composability
Cryptography
Object oriented modeling
Protocols
pubcrawl
Resiliency
Servers
service-oriented architecture
standards
trusted platform modules
biblio
Preliminary results from a model-driven architecture methodology for development of an event-driven space communications service concept
Submitted by grigby1 on Thu, 12/28/2017 - 1:40pm
Aerospace electronics
computer architecture
Data models
Object oriented modeling
pubcrawl
Scalability
security scalability
Space communications
space missions
biblio
Predicting Fault-Prone Classes in Object-Oriented Software: An Adaptation of an Unsupervised Hybrid SOM Algorithm
Submitted by grigby1 on Thu, 12/28/2017 - 1:30pm
software quality
Predictive Metrics
Predictive models
predictive security metrics
pubcrawl
self-organising feature maps
Self-Organizing Map
semisupervised fault-proneness prediction models
software metrics
Prediction algorithms
Software systems
source code (software)
supervised learning algorithms
Unsupervised Fault-Proneness Prediction
unsupervised fault-proneness prediction models
unsupervised hybrid SOM algorithm
Unsupervised Learning
Adaptation models
object-oriented software systems
object-oriented programming
Object-Oriented Metrics Threshold Values
Object oriented modeling
Naive Bayes Network
Multilayer Perceptron
Metrics
Measurement
HySOM model
function-level source code metrics
fault-prone code identification
fault-prone classes prediction model
fault data history
Data models
class-level granularity
« first
‹ previous
1
2
3
4
next ›
last »
