2436 search results - page 203 / 488 » Comonadic Notions of Computation |
130
click to vote
CMSB
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
142
click to vote
COORDINATION
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...
146
click to vote
DIS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper proposes initial steps towards a generic framework for modeling the scientific process. It is generic according to two main axes. First, it can be instantiated...
147
click to vote
EUROPKI
2008
Springer
15 years 6 months ago
2008
Springer
We propose a generic method to construct forward-secure signature schemes from standard signature schemes. The proposed construction is more computationally efficient than previous...
138
click to vote
ATMOS
2008
15 years 6 months ago
2008
Abstract. In this paper we explore the possibility of applying the notions of Recoverable Robustness and Price of Recoverability (introduced by [5]) to railway rolling stock planni...