1148 search results - page 126 / 230 » Software engineering considered harmful |
178
click to vote
DELOS
2000
15 years 8 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...
205
click to vote
STTT
2010
15 years 1 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-...
170
click to vote
ISESE
2006
IEEE
16 years 25 days 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...
182
click to vote
SIGSOFT
2010
ACM
15 years 4 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...
150
click to vote
FOSSACS
2010
Springer
16 years 1 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...