6 search results - page 1 / 2 » A Topological Constraint Language with Component Counting |
JANCL
2002
13 years 4 months ago
2002
A topological constraint language is a formal language whose variables range over certain subsets of topological spaces, and whose nonlogical primitives are interpreted as topologi...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. We consider quantifier-free spatial logics, designed for qualitative spatial representation and reasoning in AI, and extend them with the means to represent topological c...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
We propose a middleware framework for deployment and subsequent autonomic management of component-based applications. An initial deployment goal is specified using a declarative c...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
We propose a framework for deployment and subsequent autonomic management of component-based distributed applications. An initial deployment goal is specified using a declarative ...
EUROMICRO
2005
IEEE
13 years 10 months ago
2005
IEEE
Objective: Formal definition of composition assessment metrics for CBSE, using an extension of the CORBA Component Model metamodel as the ontology for describing component assembl...