Sciweavers

6014 search results - page 797 / 1203
» Structural Testing with Use Cases
Sort
View
SCAM
2007
IEEE
16 years 1 months 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
187
Voted
SMC
2007
IEEE
16 years 1 months 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 1 months 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
216
Voted
CSCWD
2007
Springer
16 years 1 months 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 1 months 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