1645 search results - page 41 / 329 » Rationale-Based Use Case Specification |
145
click to vote
IWFM
1998
15 years 7 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...
164
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Optical character recognition (OCR) remains a difficult problem for noisy documents or documents not scanned at high resolution. Many current approaches rely on stored font models...
159
click to vote
QSIC
2009
IEEE
16 years 22 days ago
2009
IEEE
—A web service may evolve autonomously, making peer web services in the same service composition uncertain as to whether the evolved behaviors may still be compatible to its orig...
184
click to vote
CE
2008
15 years 6 months ago
2008
Educational data mining is an emerging discipline, concerned with developing methods for exploring the unique types of data that come from the educational context. This work is a ...
184
click to vote
ACSC
2004
IEEE
15 years 9 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...