4917 search results - page 606 / 984 » Software Engineering is Not Computer Science |
190
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
CAPTCHAs protect online resources and services from automated access. From an attacker’s point of view, they are typically perceived as an annoyance that prevents the mass creat...
169
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
167
Voted
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
Fault localization helps spotting faults in source code by exploiting automatically collected data. Deviating from other fault locators relying on hit spectra or test coverage inf...
170
Voted
SERA
2009
Springer
16 years 1 months ago
2009
Springer
In the context of computer programming, the importance of computer assistance is being understood by many developer communities. Developers are e.g. using the same well known expre...
174
click to vote
B
2007
Springer
16 years 29 days ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...