4434 search results - page 25 / 887 » On the Composition of Hybrid Systems |
162
click to vote
ICWS
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper reports on our experiences with combining Heart of Gold and Language Grid technology to provide more language resources available on Web. Heart of Gold is known as midd...
149
click to vote
HYBRID
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
116
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
We present a new algorithm for the reachability analysis of multi-affine hybrid systems. In our previous work on reachability analysis and that of our collaborators [1
202
click to vote
PERCOM
2010
ACM
15 years 4 months ago
2010
ACM
Abstract—Service composition schemes create high-level application services by combining several basic services. Service composition schemes for dynamic, open systems, such as th...