Sciweavers

5105 search results - page 769 / 1021
» Approximate Structural Consistency
Sort
View
ISSTA
2006
ACM
16 years 18 days ago
Analyzing architectural styles with alloy
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...
Jung Soo Kim, David Garlan
JCDL
2006
ACM
99views Education» more  JCDL 2006»
16 years 17 days ago
InfoGallery: informative art services for physical library spaces
Much focus in digital libraries research has been devoted to new online services rather than services for the visitors in the physical library. This paper describes InfoGallery, w...
Kaj Grønbæk, Anne Rohde, Balasuthas S...
SAC
2006
ACM
16 years 17 days ago
Protein classification using transductive learning on phylogenetic profiles
Phylogenetic profiles of proteins − strings of ones and zeros encoding respectively the presence and absence of proteins in a group of genomes − have recently been used to iden...
Roger A. Craig, Li Liao
SMA
2006
ACM
150views Solid Modeling» more  SMA 2006»
16 years 17 days ago
Conformal virtual colon flattening
We present an efficient colon flattening algorithm using conformal structure, which is angle-preserving and minimizes the global distortion. Moreover, our algorithm is general w...
Wei Hong, Xianfeng Gu, Feng Qiu, Miao Jin, Arie E....
ECBS
2005
IEEE
160views Hardware» more  ECBS 2005»
16 years 7 days ago
Traceability-Driven Model Refinement for Test Case Generation
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
Matthias Riebisch, Michael Hübner