7075 search results - page 90 / 1415 » Models and heterogeneous reasoning |
ACSC
2004
IEEE
15 years 3 months ago
2004
IEEE
We have been investigating ways in which the performance of model elimination based systems can be improved and in this paper we present some of our results. Firstly, we have inve...
101
click to vote
ATAL
2011
Springer
13 years 11 months ago
2011
Springer
Commitments provide a flexible means for specifying the business relationships among autonomous and heterogeneous agents, and lead to a natural way of enacting such relationships...
104
click to vote
OWLED
2008
15 years 26 days ago
2008
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...
ICEIS
2009
IEEE
15 years 6 months ago
2009
IEEE
MUENCHENWILER
2009
Springer
15 years 6 months ago
2009
Springer