Sciweavers

6047 search results - page 353 / 1210
» Modeling with Extend
Sort
View
MOMPES
2007
IEEE
15 years 11 months ago
Adopting Computational Independent Models for Derivation of Architectural Requirements of Software Product Lines
The alignment of the software architecture and the functional requirements of a system is a demanding task because of the difficulty in tracing design elements to requirements. Th...
Alexandre Bragança, Ricardo Jorge Machado
ISM
2005
IEEE
138views Multimedia» more  ISM 2005»
15 years 10 months ago
3DSEAM: a model for annotating 3D scenes using MPEG-7
The progress and the continuous evolution of computer capacities, as well as the emergence of the X3D standard have recently boosted the 3D domain. Associating some semantics with...
Ioan Marius Bilasco, Jérôme Gensel, M...
FOSSACS
2005
Springer
15 years 10 months ago
A Computational Model for Multi-variable Differential Calculus
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
Abbas Edalat, André Lieutier, Dirk Pattinso...
ICTAC
2005
Springer
15 years 10 months ago
The Timer Cascade: Functional Modelling and Real Time Calculi
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
Raymond T. Boute, Andreas Schäfer
PDP
2003
IEEE
15 years 10 months ago
Performance Modeling of Scientific Applications: Scalability Analysis of LAPW0
This paper presents a high-level approach for assessing the performance behavior of complex scientific applications running on a high-performance system through simulation. The pr...
Thomas Fahringer, Nicola Mazzocca, Massimiliano Ra...