Sciweavers

1341 search results - page 187 / 269
» Logic for Modeling Product Structure
Sort
View
129
Voted
ICWE
2007
Springer
15 years 9 months ago
A Prototype Tool for the Automatic Generation of Adaptive Websites
This paper presents AWAC, a prototype CAWE tool for the automatic generation of adaptive Web applications based on the A-OOH methodology. A-OOH (Adaptive OO-H) is an extension of t...
Irene Garrigós, Cristian Cruz, Jaime G&oacu...
108
Voted
PVM
2004
Springer
15 years 9 months ago
A Refinement Strategy for a User-Oriented Performance Analysis
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
Jan Lemeire, Andy Crijns, John Crijns, Erik F. Dir...
95
Voted
JFP
2006
113views more  JFP 2006»
15 years 3 months ago
Consistency of the theory of contexts
The Theory of Contexts is a type-theoretic axiomatization aiming to give a metalogical account of the fundamental notions of variable and context as they appear in Higher stract S...
Anna Bucalo, Furio Honsell, Marino Miculan, Ivan S...
148
Voted
CORR
2011
Springer
169views Education» more  CORR 2011»
14 years 10 months ago
Streaming Tree Transducers
We introduce streaming tree transducers as an analyzable and expressive model for transforming hierarchically structured data in a single pass. Given a linear encoding of the inpu...
Rajeev Alur, Loris D'Antoni
146
Voted
DOLAP
2008
ACM
15 years 5 months ago
Solving summarizability problems in fact-dimension relationships for multidimensional models
Multidimensional analysis allows decision makers to efficiently and effectively use data analysis tools, which mainly depend on multidimensional (MD) structures of a data warehous...
Jose-Norberto Mazón, Jens Lechtenbörge...