3948 search results - page 257 / 790 » Integration Workbench: Integrating Schema Integration Tools |
130
click to vote
COLING
1996
15 years 7 months ago
1996
Our main motivation is to build general and adaptable linguistic tools and we have faced the problem of their portability. We first make a quick description of the linguistic tool...
146
click to vote
ICW
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we first present a complete survey on available bandwidth estimation tools. More precisely, according to the classification proposed on IEEE Network by Prasad et a...
146
click to vote
MOMM
2006
ACM
15 years 11 months ago
2006
ACM
Multimedia tools provide significant assistance in vast variety of different areas and one of them is education. The paper shows that such tools are especially important for const...
154
click to vote
CHINZ
2006
ACM
15 years 11 months ago
2006
ACM
Ink annotation is a common method for recording feedback on a paper document. However, reviewing code on paper is difficult due to its non-linear nature. This project extends exis...
144
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...