6171 search results - page 514 / 1235 » The FrameNet Data and Software |
192
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
167
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
It is a common phenomenon for research projects to collect and analyse valuable data using ad-hoc information systems. These costly-to-build systems are often composed of incompat...
204
click to vote
QSIC
2005
IEEE
16 years 15 days ago
2005
IEEE
This paper proposes a stochastic voting for testing a large number of Web Services (WS) under group testing. In the future, a large number of WS will be available and they need to...
154
click to vote
SIGCSE
2004
ACM
16 years 10 days ago
2004
ACM
We present software tools that support robust input processing and comprehensive testing in Java. The software includes the JPT library that supports error-checked typed input via...
177
click to vote
FPL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Visual data
ow environments are ideally suited for modeling digital signal processing (DSP) systems, as many DSP algorithms are most naturally speci ed by signal
ow gra...