42507 search results - page 227 / 8502 » On the analysis of |
168
click to vote
HICSS
2005
IEEE
16 years 10 days ago
2005
IEEE
Behavioral indicators of deception and behavioral state are extremely difficult for humans to analyze. Blob analysis, a method for analyzing the movement of the head and hands bas...
170
click to vote
CONCUR
2005
Springer
16 years 8 days ago
2005
Springer
Usually, ranking function synthesis and invariant generation oop with integer variables involves abstracting the loop to have real variables. Integer division and modulo arithmetic...
146
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
Evolutionary computation is used to construct undetectable computer attack scripts. Using a simulated operating system, we show that scripts can be evolved to cover their tracks a...
154
Voted
IBPRIA
2005
Springer
16 years 7 days ago
2005
Springer
We present in this paper the application of mathematical morphology operators through a transformation of the Cartesian image into another geometric space, i.e. pol-log image. The ...
158
click to vote
TACAS
2005
Springer
16 years 6 days ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...