185 search results - page 13 / 37 » SAGBI Bases Under Composition |
3DOR
2010
13 years 2 months ago
2010
While approaches based on local features play a more and more important role for 3D shape retrieval, the problems of feature selection and similarity measurement between sets of l...
GG
2010
Springer
13 years 8 months ago
2010
Springer
Model-driven development (MDD) has become a promising trend in software engineering. The model-driven development of highly complex software systems may lead to large models which ...
JSW
2008
13 years 7 months ago
2008
Service composition is emerging as an important paradigm for constructing distributed applications by combining and reusing independently developed component services. One key issu...
CBSE
2004
Springer
14 years 29 days ago
2004
Springer
A crucial issue in the design of Component-Based (CB) applications is the ability to early guarantee that the system under development will satisfy its Quality of Service requireme...
FSTTCS
2009
Springer
14 years 2 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...