Sciweavers

5681 search results - page 903 / 1137
» A Domain Model for eParticipation
Sort
View
OTM
2007
Springer
16 years 24 days ago
Reduction Transformations in ORM
Abstract: This paper proposes extensions to the Object-Role Modeling approach to support schema transformations that eliminate unneeded columns that may arise from standard relatio...
Terry A. Halpin, Andy Carver, Kevin M. Owen
SAFECOMP
2007
Springer
16 years 24 days ago
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
Matthias Güdemann, Frank Ortmeier, Wolfgang R...
SAS
2007
Springer
128views Formal Methods» more  SAS 2007»
16 years 24 days ago
Magic-Sets Transformation for the Analysis of Java Bytecode
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
Étienne Payet, Fausto Spoto
VLDB
2007
ACM
129views Database» more  VLDB 2007»
16 years 24 days ago
Processing Forecasting Queries
Forecasting future events based on historic data is useful in many domains like system management, adaptive query processing, environmental monitoring, and financial planning. We...
Songyun Duan, Shivnath Babu
3DPVT
2006
IEEE
154views Visualization» more  3DPVT 2006»
16 years 23 days ago
Hemispherical Harmonic Surface Description and Applications to Medical Image Analysis
The use of surface harmonics for rigid and nonrigid shape description is well known. In this paper we define a set of complete hemispherical harmonic basis functions on a hemisph...
Heng Huang, Lei Zhang 0002, Dimitris Samaras, Li S...