5777 search results - page 857 / 1156 » The palladio component model |
194
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
174
click to vote
ECIR
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Previous evaluations of server selection methods for federated search have either used metrics which are unconnected with user satisfaction, or have not been able to acco...
167
click to vote
COLING
2008
15 years 8 months ago
2008
Computing the similarity between entities is a core component of many NLP tasks such as measuring the semantic similarity of terms for generating a distributional thesaurus. In th...
146
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Automated political districting shares with electronic voting the aim of preventing electoral manipulation and pursuing an impartial electoral mechanism. Political districting can...
180
click to vote
LREC
2010
15 years 8 months ago
2010
The task of parse disambiguation has gained in importance over the last decade as the complexity of grammars used in deep linguistic processing has been increasing. In this paper ...