397 search results - page 31 / 80 » Coalgebraic Models for Reactive Systems |
97
Voted
UM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. A good way to help users finding relevant items on document platforms consists in suggesting content in accordance with their preferences. When implementing such a recom...
115
Voted
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
116
click to vote
ICNC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Membrane systems are gaining a prominent role in the modeling of biochemical processes and cellular dynamics. We associate specific reactivity values to the production r...
162
Voted
FASE
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...
154
Voted
SEFM
2008
IEEE
15 years 10 months ago
2008
IEEE
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two importan...