Sciweavers

6014 search results - page 797 / 1203
» Structural Testing with Use Cases
Sort
View
SCAM
2007
IEEE
16 years 21 days ago
SQuAVisiT: A Software Quality Assessment and Visualisation Toolset
Software quality assessment of large COBOL industrial legacy systems, both for maintenance or migration purposes, mounts a serious challenge. We present the Software Quality Asses...
Serguei A. Roubtsov, Alexandru Telea, Danny Holten
156
Voted
SMC
2007
IEEE
16 years 21 days ago
ADtrees for sequential data and n-gram Counting
Abstract— We consider the problem of efficiently storing ngram counts for large n over very large corpora. In such cases, the efficient storage of sufficient statistics can ha...
Robert Van Dam, Dan Ventura
CSCLP
2007
Springer
16 years 18 days ago
A Global Filtration for Satisfying Goals in Mutual Exclusion Networks
We formulate a problem of goal satisfaction in mutex networks in this paper. The proposed problem is motivated by problems that arise in concurrent planning. For more efficient sol...
Pavel Surynek
CSCWD
2007
Springer
16 years 18 days ago
Service discovery in a DOM-based middleware architecture
Heterogeneity and uncertainty are two main characteristics of pervasive computing environment and CSCW. CSCW can be viewed as a special case of pervasive computing. Middleware is ...
Zhaomin Xu, Ming Cai, Jinxiang Dong
PAIRING
2007
Springer
16 years 17 days ago
Remarks on Cheon's Algorithms for Pairing-Related Problems
— In EUROCRYPT 2006, Cheon proposed breakthrough algorithms for pairing-related problems such as the q-weak/strong Diffie-Hellman problem. Using that the exponents of an element ...
Shunji Kozaki, Taketeru Kutsuma, Kazuto Matsuo