5748 search results - page 816 / 1150 » Web Engineering Resources |
174
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Score normalization is indispensable in distributed retrieval and fusion or meta-search where merging of result-lists is required. Distributional approaches to score normalization...
165
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
166
click to vote
AICCSA
2006
IEEE
16 years 26 days ago
2006
IEEE
The specification, analysis, and administration of business processes have charged great importance in this last time. This has been caused by a competitive industry necessity, dy...
146
click to vote
CCGRID
2006
IEEE
16 years 26 days ago
2006
IEEE
Many efforts in Grid communities have focused on middleware research and development. However, Grid application-level tools are needed which can build higherlevel functionality on...
138
click to vote
KBSE
2005
IEEE
16 years 11 days ago
2005
IEEE
We propose an approach for complex software analysis based on visualization. Our work is motivated by the fact that in spite of years of research and practice, software developmen...