16725 search results - page 3163 / 3345 » Engineering Software Correctness |
139
Voted
ERLANG
2007
ACM
15 years 7 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
142
Voted
SIGIR
2010
ACM
15 years 7 months ago
2010
ACM
Ranking search results is a fundamental problem in information retrieval. In this paper we explore whether the use of proximity and phrase information can improve web retrieval ac...
152
click to vote
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
This paper introduces a function that increases the amount of neutrality (inactive code in Genetic Programming) for the Artificial Ant Problem. The objective of this approach is t...
159
click to vote
ER
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
126
Voted
GROUP
2007
ACM
15 years 7 months ago
2007
ACM
We describe the design and evaluation of K-net, a social matching system to help people learn 'who knows what' in an organization by matching people with skills with tho...