577 search results - page 68 / 116 » Model Checking Based on Simultaneous Reachability Analysis |
VTC
2007
IEEE
14 years 3 months ago
2007
IEEE
In this study, we analyze the sleep-mode operation for power management of a mobile station in the IEEE802.16e Wireless Metropolitan Access Network. For the analysis we use the M/...
CAV
2006
Springer
14 years 28 days ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
TAMODIA
2008
13 years 10 months ago
2008
Abstract. The analysis of usability aspects of multi-user systems, such as cooperative work systems and pervasive systems, pose particular problems because group behavior of their ...
BIBE
2007
IEEE
14 years 3 months ago
2007
IEEE
—Microarray technology has provided an opportunity to simultaneously monitor the expression levels of a large number of genes in response to intentional perturbations. A necessar...
CVPR
2004
IEEE
14 years 11 months ago
2004
IEEE
Linear Discriminant Analysis (LDA) is popular feature extraction technique for face recognition. However, it often suffers from the small sample size problem when dealing with the...