2184 search results - page 14 / 437 » Modeling and Realizing Interoperability |
AML
2008
13 years 9 months ago
2008
We compare realizability models over partial combinatory algebras by embedding them into sheaf toposes. We then use the machinery of Grothendieck toposes and geometric morphisms t...
SAMOS
2009
Springer
14 years 3 months ago
2009
Springer
Kahn Process Networks (KPN) are an appealing model of computation to specify streaming applications. When a KPN has to execute on a multi-processor platform, a mapping of the KPN m...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper presents a generic model driven approach to enable Quality of Service (QoS) modeling and realization for component based middleware platforms. We describe a QoS metamod...
ICPR
2002
IEEE
14 years 10 months ago
2002
IEEE
al modelling studies the different abstraction methods of the real world. The conception and the execution of virtual worlds depend strongly of the type of conceptual models. Exis...
COLING
2010
13 years 3 months ago
2010
This paper shows that incorporating linguistically motivated features to ensure correct animacy and number agreement in an averaged perceptron ranking model for CCG realization he...