7961 search results - page 1043 / 1593 » Input-Output Model Programs |
181
click to vote
AUTOMATICA
2004
15 years 7 months ago
2004
In this paper, we consider a deterministic timed continuous Petri net model where conflicts at places are solved by using stationary routing parameters. We show how to compute the...
195
click to vote
ENTCS
2002
15 years 7 months ago
2002
This paper introduces coalgebraic monads as a unified model of term algebras covering fundamental examples such as initial algebras, final coalgebras, rational terms and term grap...
175
click to vote
ENTCS
2002
15 years 7 months ago
2002
In previous work [14] I introduced a generalised notion of coalgebra that is capable of modelling binary methods as they occur in object-oriented programming. An important problem...
210
click to vote
ENTCS
2002
15 years 7 months ago
2002
We present a calculus for modelling "environment-aware" computations, that is computations that adapt their behaviour according to the capabilities of the environment. T...
200
click to vote
ICC
2009
IEEE
15 years 5 months ago
2009
IEEE
-- We develop a new integer linear programming model to optimally design demand-wise shared protection (DSP) networks to achieve specified minimum levels of dual-failure restorabil...