Sciweavers

1720 search results - page 97 / 344
» eg 2008
Sort
View
SCAM
2008
IEEE
15 years 11 months ago
Using Program Transformations to Add Structure to a Legacy Data Model
An appropriate translation of the data model is central to any language migration effort. Finding a mapping between original and target data models may be challenging for legacy l...
Mariano Ceccato, Thomas Roy Dean, Paolo Tonella
SOSE
2008
IEEE
15 years 11 months 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...
SYNASC
2008
IEEE
239views Algorithms» more  SYNASC 2008»
15 years 11 months ago
Undecidability Results for Finite Interactive Systems
Abstract. A new approach to the design of massively parallel and interactive programming languages has been recently proposed using rv-systems (interactive systems with registers a...
Alexandru Sofronia, Alexandru Popa, Gheorghe Stefa...
148
Voted
TPHOL
2008
IEEE
15 years 11 months ago
Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
Daniel Wasserrab, Andreas Lochbihler
118
Voted
VTC
2008
IEEE
103views Communications» more  VTC 2008»
15 years 11 months ago
On Parameter Estimation for Ultra-Wideband Channels with Clustering Phenomenon
— One of the unique characteristics of ultra-wideband channels is the clustering phenomenon resolved by the ultra-wide signal bandwidth. Channel structures extended from the Sale...
Wei-De Wu, Chung-Hsuan Wang, Chi-Chao Chao, Klaus ...