2436 search results - page 369 / 488 » Comonadic Notions of Computation |
176
click to vote
CONCUR
2003
Springer
15 years 9 months ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
133
click to vote
DIGITALCITIES
2003
Springer
15 years 9 months ago
2003
Springer
This paper examines the influences of culture on the user experience of local e-government services. It investigates the hypothesis that citizens with different cultural background...
124
click to vote
ECAL
2003
Springer
15 years 9 months ago
2003
Springer
This paper proposes an evolutionary-game-theory model, called meta-evolutionary game dynamics, for studying the dynamics of rules and individual behaviour. Although there are two g...
157
click to vote
FORMATS
2003
Springer
15 years 9 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
117
click to vote
FOSSACS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...