Sciweavers

3948 search results - page 271 / 790
» Integration Workbench: Integrating Schema Integration Tools
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 10 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
GECCO
2006
Springer
253views Optimization» more  GECCO 2006»
15 years 9 months ago
A novel approach to optimize clone refactoring activity
Achieving a high quality and cost-effective tests is a major concern for software buyers and sellers. Using tools and integrating techniques to carry out low cost testing are chal...
Salah Bouktif, Giuliano Antoniol, Ettore Merlo, Ma...
SOSE
2008
IEEE
16 years 7 days ago
Towards SOA-Based Code Defect Analysis
Static code analysis is the analysis of software that is performed to acquire information concerning the dynamic behavior of programs built from that software, without actually ex...
Qianxiang Wang, Na Meng, Zhiyi Zhou, Jinhui Li, Ho...
SMI
2006
IEEE
127views Image Analysis» more  SMI 2006»
15 years 12 months ago
Length Constrained Multiresolution Deformation for Surface Wrinkling
We present a method for deforming piecewise linear 3D curves with constant length constraint. We show how this constraint can be integrated into a multiresolution editing tool all...
Basile Sauvage, Stefanie Hahmann, Georges-Pierre B...
KCAP
2005
ACM
15 years 11 months ago
Collaboratory testbed partnerships as a knowledge capture challenge
The difficulty of maintaining effective testbed partnerships, among users of computer-based tools and builders of those tools, has been an obstacle to the success of science colla...
Mary A. Keeler, Heather D. Pfeiffer