2342 search results - page 212 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
170
click to vote
ICFEM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
171
click to vote
AVI
2006
15 years 7 months ago
2006
When users input their passwords in a public place, they may be at risk of attackers stealing their password. An attacker can capture a password by direct observation or by record...
188
click to vote
CISIS
2009
IEEE
15 years 4 months ago
2009
IEEE
The volume of stream data delivered from different information sources is increasing. There are a variety of demands to utilize such stream data for applications. Stream processin...
200
click to vote
IUI
2012
ACM
14 years 1 months ago
2012
ACM
We empirically compare five different publicly-available phrase sets in two large-scale (N = 225 and N = 150) crowdsourced text entry experiments. We also investigate the impact ...
147
click to vote
IEEEICCI
2007
IEEE
16 years 21 days ago
2007
IEEE
– Object-Oriented Analysis (OOA) has been proposed and applied in software engineering for more than fifteen years. Many researchers and practitioners have published many article...