2184 search results - page 106 / 437 » Modeling and Realizing Interoperability |
SYNASC
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper provides a design rationale for a mechanism that enforces a correct mapping between a model of a nested agent organization and a model of a composite interaction-based ...
ICIC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper describes a novel fuzzy rule-based modeling approach for some slow industrial processses. Structure identification is realized by clustering and support vecto...
TSD
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. A formal prosody model is proposed together with its application in a text-to-speech system. The model is based on a generative of abstract prosodic functionally involved...
ETFA
2008
IEEE
13 years 10 months ago
2008
IEEE
In this paper we discuss the separation between attributes on functionality and on structure following an approach based on Model Driven Engineering (MDE). We adopt a methodologic...
APAL
2010
13 years 8 months ago
2010
We introduce a notion of Kripke model for classical logic for which we constructively prove soundness and cut-free completeness. We discuss the meaning of the new notion and its a...