73 search results - page 9 / 15 » A Coalgebraic Theory of Reactive Systems |
143
click to vote
RTAS
2003
IEEE
15 years 7 months ago
2003
IEEE
The use of feedback control theory for performance guarantees in QoS-aware systems has gained much attention in recent years. In this paper, we investigate merging, within a singl...
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equivalence for ...
FUIN
2008
15 years 1 months ago
2008
Abstract. Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equival...
113
click to vote
FOSSACS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
131
Voted
HAPTICS
2002
IEEE
15 years 6 months ago
2002
IEEE
Haptic Interfaces have been used as cooperative systems to reproduce and simulate human actions. The Haptic Interface (HI) can be used as a tool capable of interacting dynamically...