ENTCS
2010
15 years 22 days ago
2010
ENTCS
2010
15 years 22 days ago
2010
Components provide an easy to use programming paradigm allowing for better re-usability of application code. In the context of distributed programming, autonomous hierarchical com...
49
Voted
ENTCS
2010
15 years 22 days ago
2010
105
Voted
ENTCS
2010
15 years 22 days ago
2010
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
98
Voted
ENTCS
2010
15 years 22 days ago
2010
Software failures can lead to substantial costs for the user. Existing models for software reliability prediction do not provide much insight into this financial impact. Our appro...
113
Voted
ENTCS
2010
15 years 22 days ago
2010
Solutions of recursive program schemes over a given signature were characterized by Bruno Courcelle as precisely the context-free (or algebraic) -trees. These are the finite and ...
54
Voted
ENTCS
2010
15 years 22 days ago
2010
80
Voted
ENTCS
2010
15 years 22 days ago
2010
The notion of arrow by Hughes is an axiomatization of the algebraic structure possessed by structured computations in general. We claim that an arrow also serves as a basic compon...
112
Voted
ENTCS
2010
15 years 22 days ago
2010
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...
85
Voted
ENTCS
2010
15 years 22 days ago
2010
The main result of this paper shows how coalgebraic traces, in suitable Kleisli categories, give rise to traced monoidal structure in those Kleisli categories, with finite coprodu...