2702 search results - page 50 / 541 » Requirements Processes: An Experience Report |
106
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
The paper presents a software component that enables NetSolve with direct communications between servers in a non-intrusive and incremental way. Non-intrusiveness means that the s...
110
click to vote
ICSE
2009
IEEE-ACM
15 years 6 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
115
click to vote
TREC
1998
15 years 3 months ago
1998
Experiments relating to TREC-7 Ad Hoc, HP and VLC tasks are described and results reported. Minor re nements of last year's Ad Hoc methods do not appear to have resulted in w...
100
click to vote
SIGIR
2009
ACM
15 years 8 months ago
2009
ACM
Cross Language Information Retrieval (CLIR) between languages of the same origin is an interesting topic of research. The similarity of the writing systems used for these language...
113
click to vote
SAFECOMP
2010
Springer
14 years 12 months ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...