Sciweavers

1358 search results - page 110 / 272
» Proceedings
Sort
View
CAISE
2004
Springer
15 years 9 months ago
Towards Computer-aided Design of OCL Constraints
In UML2.0, significant efforts have been devoted towards a better definition of OCL. Still, the adoption of the language by the software engineers remains a significant challenge....
Yves Ledru, Sophie Dupuy-Chessa, Hind Fadil
163
Voted
EDBTW
2004
Springer
15 years 9 months ago
The Case for Mobile OLAP
Abstract. On-Line Analytical Processing (OLAP) is a trend in database technology, based on the multidimensional view of data. Numerous applications and development environments exi...
Andreas S. Maniatis
GI
2004
Springer
15 years 9 months ago
A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
Jan Olaf Blech, Sabine Glesner
124
Voted
ICCS
2004
Springer
15 years 9 months ago
Solving Differential Equations in Developmental Models of Multicellular Structures Expressed Using L-systems
Mathematical modeling of growing multicellular structures creates the problem of solving systems of equations in which not only the values of variables, but the equations themselv...
Pavol Federl, Przemyslaw Prusinkiewicz
150
Voted
MCS
2004
Springer
15 years 9 months ago
A Probabilistic Model Using Information Theoretic Measures for Cluster Ensembles
Abstract. This paper presents a probabilistic model for combining cluster ensembles utilizing information theoretic measures. Starting from a co-association matrix which summarizes...
Hanan Ayad, Otman A. Basir, Mohamed Kamel