4434 search results - page 236 / 887 » On the Composition of Hybrid Systems |
186
click to vote
SIGOPSE
1998
ACM
15 years 10 months ago
1998
ACM
with this, the thread abstraction was introduced. While threads are handling events, or awaiting specific events, unrelated events can be handled by other threads. Unfortunately, ...
162
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations...
145
click to vote
ICWS
2004
IEEE
15 years 8 months ago
2004
IEEE
This poster presents the web services framework in the Kepler scientific workflow system and illustrates them with a real-world example.
179
click to vote
ORL
2008
15 years 6 months ago
2008
Barahona and Mahjoub found a defining system of the stable set polytope for a graph with a cut-set of cardinality 2. We extend this result to cut-sets composed of a complete graph...
157
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
DPM (Dynamic Power Management) is an effective technique for reducing the energy consumption of embedded systems that is based on migrating to a low power state when possible. Whi...