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
finite state machines
biblio
Using Dynamic Taint Approach for Malware Threat
Submitted by grigby1 on Tue, 03/07/2017 - 12:40pm
pubcrawl170109
Information Flow
intersuspicious modules
invasive software
malware
Malware behavioural analysis
malware infection
malware threat analysis
network threats
FSM
Servers
suspicious apps
taint checking tools
taint marking
threat analysis
trees (mathematics)
weighted spanning tree analysis scheme
Computer hacking
Android programs
attack sequence
behavioural analysis
cloud applications
Cloud Computing
cloud computing server
Computational modeling
Computer crime
Analytical models
cyber security attack
data tracking
defence capability
Dynamic taint propagation
dynamic taint propagation analysis model
finite state machine
finite state machines
biblio
A Novel Acoustic Fingerprint Method for Audio Signal Pattern Detection
Submitted by BrandonB on Mon, 05/04/2015 - 10:32am
finite state machine
Time-Frequency processing
Time-frequency Analysis
time-domain analysis
speech recognition techniques
Spectral signature
Pitch frequency
Pattern recognition
Noise measurement
mechanical sounds
hybrid time-frequency approach
FSM model
frequency-domain analysis
finite state machines
Finite State Machine(FSM)
Acoustic Fingerprint
efficient audio signal recognition algorithm
Correlation
computational complexity
background noises
audio signal processing
audio signal pattern detection
Audio recognition
Audio detection
Acoustics
Acoustic signal processing
acoustic signal detection
acoustic noise
acoustic fingerprint method
biblio
An Open S-BPM Runtime Environment Based on Abstract State Machines
Submitted by BrandonB on Fri, 05/01/2015 - 7:10am
finite state machines
workflow management software
workflow engine
Subject-oriented Business Process Management
subject-oriented BPM
Semantics
S-BPM tools
S-BPM model
program interpreters
Open-S-BPM
Open S-BPM runtime environment
Mathematical model
abstract interpreter model
executable workflow engine
Engines
CoreASM
business process modeling
business data processing
Business
ASM approach
Analytical models
Abstracts
abstract state machine interpreter
Abstract State Machine
biblio
Application-Aware Byzantine Fault Tolerance
Submitted by BrandonB on Thu, 04/30/2015 - 2:03pm
finite state machines
totally ordered request
System recovery
state-machine-based Byzantine fault tolerance algorithm
software fault tolerance
Servers
sequential execution
Semantics
security of data
request concurrent processing
replica nondeterminism
Message systems
Intrusion Resilience
Algorithm design and analysis
Fault tolerant systems
fault tolerance
deterministic application processing
dependability
Deferred Byzantine Agreement
concurrency control
computer system intrusion resilience enhancement
client-server systems
Byzantine agreement
application-aware Byzantine fault tolerance
application semantics
Application Nondeterminism
biblio
Application-Aware Byzantine Fault Tolerance
Submitted by BrandonB on Thu, 04/30/2015 - 2:02pm
finite state machines
totally ordered request
System recovery
state-machine-based Byzantine fault tolerance algorithm
software fault tolerance
Servers
sequential execution
Semantics
security of data
request concurrent processing
replica nondeterminism
Message systems
Intrusion Resilience
Algorithm design and analysis
Fault tolerant systems
fault tolerance
deterministic application processing
dependability
Deferred Byzantine Agreement
concurrency control
computer system intrusion resilience enhancement
client-server systems
Byzantine agreement
application-aware Byzantine fault tolerance
application semantics
Application Nondeterminism
« first
‹ previous
1
2
