1173 search results - page 153 / 235 » On the Compositionality of Round Abstraction |
EUROMICRO
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—The component-based and service-oriented development have become commonly used techniques for building high quality, evolvable, large systems in a timely and affordable ...
CSL
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. For a two-variable formula B(X,Y) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of a finite-state operator Y=F(X) ...
MFCS
2009
Springer
14 years 4 months ago
2009
Springer
We define a framework called the prismoid of resources where each vertex refines the λ-calculus by using a different choice to make explicit or implicit (meta-level) the defin...
RTA
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...
SEMWEB
2009
Springer
14 years 4 months ago
2009
Springer
Ontologies are entities that evolve over time, therefore it is essential to represent and manage changes to ontologies along with the ontologies themselves. In this paper we propos...