2342 search results - page 212 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
137
click to vote
ICFEM
2005
Springer
15 years 10 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...
145
click to vote
AVI
2006
15 years 5 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...
153
click to vote
CISIS
2009
IEEE
15 years 2 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...
154
click to vote
IUI
2012
ACM
14 years 15 hour 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 ...
125
click to vote
IEEEICCI
2007
IEEE
15 years 10 months 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...