1760 search results - page 110 / 352 » Program Analysis Using Weighted Pushdown Systems |
85
Voted
CHI
2005
ACM
16 years 1 months ago
2005
ACM
Current methods to represent system or task usability in a single metric do not include all the ANSI and ISO defined usability aspects: effectiveness, efficiency & satisfactio...
103
Voted
WWW
2002
ACM
15 years 7 days ago
2002
ACM
In this paper, we present two ways to improve the precision of HITS-based algorithms on Web documents. First, by analyzing the limitations of current HITS-based algorithms, we pro...
118
Voted
ECBS
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
93
Voted
IWPC
2003
IEEE
15 years 5 months ago
2003
IEEE
Understanding performance and related issues in a complex system requires analyzing where and why the program spends its resources. In a reactive system such as a interactive appl...
124
click to vote
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract-- We study the convergence rate of average consensus algorithms in networks with stochastic communication failures. We show how the system dynamics can be modeled by a dis...