1148 search results - page 126 / 230 » Software engineering considered harmful |
141
Voted
DELOS
2000
15 years 5 months ago
2000
Stand-alone ranking systems based on highly optimized inverted file structures are generally considered `the' solution for building search engines. Observing various developm...
132
Voted
STTT
2010
14 years 10 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
122
Voted
ISESE
2006
IEEE
15 years 9 months ago
2006
IEEE
Inspection is considered a powerful method to check software documents for defects. Many published work shows that inspections in requirements specification phase are particularly...
133
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Software internationalization aims to make software accessible and usable by users all over the world. For a Java application that does not consider internationalization at the be...
116
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...