441 search results - page 9 / 89 » Benchmarking Technique in E-Business Using the Galileo Metho... |
DATE
2010
IEEE
14 years 23 days ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
Linear Pseudo-Boolean Optimization (PBO) is a widely used modeling framework in Electronic Design Automation (EDA). Due to significant advances in Boolean Satisfiability (SAT), ...
AI
2005
Springer
14 years 2 months ago
2005
Springer
In this research, a systematic study is conducted of four dimension reduction techniques for the text clustering problem, using five benchmark data sets. Of the four methods -- Ind...
AIRS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Cross-lingual event tracking from a very large number of information sources (thousands of Web sites, for example) is an open challenge. In this paper we investigate effe...
EDCC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Our paper presents a novel approach for identifying the key infrastructural factors determining the behavior of systems in the presence of faults by the application of in...