6704 search results - page 219 / 1341 » Testing Scenario-Based Models |
145
click to vote
ESORICS
1994
Springer
15 years 10 months ago
1994
Springer
The Transformation Model TRM was recently introduced 10 in the literature by Sandhu and Ganta. TRM is based on the concept of transformation of rights. The propagation of access ri...
186
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
197
click to vote
GAMEON
2009
15 years 4 months ago
2009
This research attempts to measure personality by monitoring behaviour in a virtual environment. A computer game was created to measure a trait of the Five Factor Model of personal...
135
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
: Empirical analyses of the IDDQ signatures of 0.18 µm devices indicate that IDDQ currents exhibit hysteresis. A newly proposed test method, SPIRIT (Single Pattern Iteration IDDQ ...
139
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
While the IEEE P1500 standards working group is on the verge of recommending a standard test interface for "non-mergeable" cores, a need was felt to adopt a standard met...