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
smart system
biblio
A Fuzzy Logic-Based System of Abnormal Behavior Detection Using PoseNet for Smart Security System
Submitted by grigby1 on Fri, 07/28/2023 - 2:32pm
Training
security
pubcrawl
Metrics
resilience
Resiliency
real-time systems
visualization
Media
Fuzzy logic
abnormal behavior detection
Image resolution
pose estimation
Fuzzy logic-based system
PoseNet
smart system
biblio
Research on Intelligent Accounting System Based on Intelligent Financial Data Sheet Analysis System Considering Complex Data Mining
Submitted by grigby1 on Fri, 07/21/2023 - 12:29pm
Data mining
smart system
Intelligent Accounting
Data Sheet Analysis
complex system
System performance
expert systems
Systematics
Artificial Intelligence
Data collection
Databases
Data models
Scalability
Resiliency
resilience
Human behavior
pubcrawl
security
biblio
Design, control amp;amp; performance analysis of secure you IoT based smart security system
Submitted by grigby1 on Thu, 08/23/2018 - 10:44am
mobile computing
wireless sensor networks
wireless sensor based security system
smart system
Smart security
smart routing
sensors
security
Safety
Radar vision
Radar tracking
radar imaging
pubcrawl
Mobile Technology
capacitive sensing
Mobile Applications
Mobile Application
IoT based smart security system
Internet of Things
internal security
Intelligent sensors
external security
Cryptography
computational intelligence
Compositionality
composability
capacitive sensors
biblio
Provable security analysis of complex or smart computer systems in the smart grid
Submitted by grigby1 on Wed, 02/21/2018 - 12:50pm
smart computer systems
power engineering computing
power system security
provable security analysis
pubcrawl
Radiation detectors
resilience
Resiliency
Scalability
security of data
simple promela interpreter
Ports (Computers)
Smart Grid
smart grid security
smart power grids
smart system
SPIN
Temporal Logic
temporal logics
Transition System
TS
Formal Specification
access control mechanism
ACM
authorisation
automata
automata theory
Büchi Automaton
computer security
formal security
formal security analysis
provable security
formal verification
FSA
Linear Temporal Logics
LTL
Mathematical model
Metrics
model checking
operating system
OS
