4434 search results - page 165 / 887 » On the Composition of Hybrid Systems |
178
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
Recent years have seen a proliferation of 3-valued or capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about suc...
169
click to vote
ECOWS
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we present our approach of facilitator that allows automatic service composition in distributed systems. We propose a facilitator based on ontologies and knowledge ...
154
click to vote
AMTA
1998
Springer
15 years 10 months ago
1998
Springer
This paper describes the progress of a machine translation system from Chinese to English. The system is based on a reusable platform of MT software components. It's a rule-ba...
