194 search results - page 3 / 39 » Composing heterogeneous reactive systems |
106
click to vote
CN
2008
14 years 10 months ago
2008
Today's networks are becoming increasingly complex and the ability to effectively and efficiently operate and manage them is ever more challenging. Ways to provide end-to-end...
DSRT
2005
IEEE
15 years 5 months ago
2005
IEEE
It is common practice to build complex systems from disparate sub-systems. Model composability is concerned with techniques for developing a whole model of a system from the model...
APWEB
2006
Springer
15 years 3 months ago
2006
Springer
Reactivity, the ability to detect events and respond to them automatically through reactive programs, is a key requirement in many present-day information systems. Work on Web Serv...
112
click to vote
IANDC
2007
14 years 11 months ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
FM
2003
Springer
15 years 4 months ago
2003
Springer
We explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invar...