Sciweavers

303 search results - page 25 / 61
» Challenging the Mathematics Curriculum
Sort
View
EMSOFT
2005
Springer
14 years 1 months ago
Tag machines
Heterogeneity is a challenge to overcome in the design of embedded systems. We presented in the recent past a theory for the composition of heterogeneous components based on tagge...
Albert Benveniste, Benoît Caillaud, Luca P. ...
PARA
2004
Springer
14 years 1 months ago
Parallelization of GSL: Performance of Case Studies
In this paper we explore the parallelization of the scientific library from GNU both on shared-memory and distributed-memory architectures. A pair of classical operations, arising...
José Ignacio Aliaga, Francisco Almeida, Jos...
SDMW
2004
Springer
14 years 1 months ago
Achieving Privacy Preservation when Sharing Data for Clustering
Abstract. In this paper, we address the problem of protecting the underlying attribute values when sharing data for clustering. The challenge is how to meet privacy requirements an...
Stanley R. M. Oliveira, Osmar R. Zaïane
ICCS
2003
Springer
14 years 1 months ago
Formalizing Botanical Taxonomies
Because botanical taxonomies are prototypical classifications it would seem that it should be easy to formalize them as concept lattices or type hierarchies. On closer inspection,...
Uta Priss
OOIS
2001
Springer
14 years 11 days ago
Towards a Requirements Engineering Process Model
The creation of a development process is a challenging task. The application, customization and refinement of generic process models into fine-grained process steps suitable for a...
Armin Eberlein, Li Jiang