1403 search results - page 116 / 281 » Quantitative Interprocedural Analysis |
85
Voted
WWW
2007
ACM
16 years 1 months ago
2007
ACM
PageRank is known to be an efficient metric for computing general document importance in the Web. While commonly used as a one-size-fits-all measure, the ability to produce topica...
83
Voted
CHI
2006
ACM
2006
ACM
Design and experimental analysis of continuous location tracking techniques for Wizard of Oz testing
16 years 1 months ago
Wizard of Oz (WOz) testing has shown promise as an effective way to test location-enhanced applications. However, it is challenging to conduct a location-based WOz test because of...
66
Voted
CHI
2005
ACM
16 years 1 months ago
2005
ACM
We present a quantitative analysis of delimiters for pen gestures. A delimiter is "something different" in the input stream that a computer can use to determine the stru...
96
Voted
HICSS
2009
IEEE
15 years 7 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
102
Voted
QEST
2009
IEEE
15 years 7 months ago
2009
IEEE
—Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does no...