315 search results - page 19 / 63 » A formal approach to software components classification and ... |
121
Voted
CLEF
2007
Springer
15 years 6 months ago
2007
Springer
GeoCLEF ran as a regular track for the second time within the Cross Language Evaluation Forum (CLEF) 2007. The purpose of GeoCLEF is to test and evaluate cross-language geographic ...
119
Voted
JCDL
2005
ACM
15 years 6 months ago
2005
ACM
Automatic text classification is an important operational problem in digital library practice. Most text classification efforts so far concentrated on developing centralized solut...
138
click to vote
ICFEM
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
108
Voted
SEFM
2005
IEEE
15 years 6 months ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
99
Voted
SEKE
2007
Springer
15 years 6 months ago
2007
Springer
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...