Sciweavers

2211 search results - page 31 / 443
» Comparing Approaches to Implement Feature Model Composition
Sort
View
ICCS
2005
Springer
15 years 3 months ago
A Comparative Study of Acceleration Techniques for Geometric Visualization
Abstract. Nowadays computer graphics hardware presents a series of characteristics, such as AGP memory, vertex cache, etc., that can be used for real-time rendering. The aim of thi...
Pascual Castelló, J. Francisco Ramos, Migue...
AICT
2006
IEEE
210views Communications» more  AICT 2006»
15 years 3 months ago
Model-Based Analysis of Obligations in Web Service Choreography
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
Howard Foster, Sebastián Uchitel, Jeff Mage...
ICIP
2007
IEEE
15 years 11 months ago
A New Angle-Based Spatial Modeling for Query by Visual Thesaurus Composition
Querying by Visual Thesaurus (VT) is a novel paradigm for content-based image retrieval approaches for it gives the user the possibility, in case of inappropriate starting example...
Hichem Houissa, Nozha Boujemaa
WSFM
2007
Springer
15 years 3 months ago
From BPEL to SRML: A Formal Transformational Approach
The SENSORIA Reference Modelling Language (SRML) provides primitives for modelling business processes in a technology agnostic way. At the core of SRML is the notion of module as a...
Laura Bocchi, Yi Hong, Antónia Lopes, Jos&e...
ICCAD
2008
IEEE
127views Hardware» more  ICCAD 2008»
15 years 6 months ago
Verification of arithmetic datapaths using polynomial function models and congruence solving
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
Neal Tew, Priyank Kalla, Namrata Shekhar, Sivaram ...