752 search results - page 80 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
103
Voted
RTSS
2009
IEEE
15 years 10 months ago
2009
IEEE
The preemptive real-time scheduling of sporadic parallel task systems is studied. We present an algorithm, called Gang EDF, which applies the Earliest Deadline First (EDF) policy ...
138
Voted
ERSA
2010
15 years 1 months ago
2010
Abstract--Modeling environments and performance prediction boost application productivity, but often lack integration into an efficient and comprehensive approach to strategic desi...
130
Voted
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
162
Voted
FGR
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper, we present our newly developed face expression modeling system for expression analysis and identification. Given a face image at a front view, a realistic facial mo...
128
Voted
PR
2000
15 years 3 months ago
2000
An expert system for analysis and recognition of general symbols is introduced. The system uses the structural pattern recognition technique for modeling symbols by a set of strai...