7661 search results - page 1364 / 1533 » Languages and the Computing Profession |
191
click to vote
ICTAC
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
187
Voted
IFIP
2004
Springer
16 years 14 days ago
2004
Springer
This paper is motivated by the observation that current research in ad hoc networks mostly assumes a physically flat network architecture with the nodes having homogeneous charact...
213
click to vote
IJCNLP
2004
Springer
16 years 14 days ago
2004
Springer
In this paper, a series of window-based methods is proposed for information retrieval. Compared with traditional tf-idf model, our approaches are based on two new key notions. The ...
197
click to vote
ISMIR
2004
Springer
16 years 14 days ago
2004
Springer
Despite the immense potential of Peer-to-Peer (P2P) networks in facilitating collaborative applications, they have become largely known as a free haven for pirated music swapping....
166
Voted
ISOLA
2004
Springer
16 years 14 days ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...