7943 search results - page 77 / 1589 » A calculus for costed computations |
76
Voted
CIE
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We see a notion of normal derivation for the calculus of structures, which is based on a factorisation of derivations and which is more general than the traditional notio...
77
Voted
CIE
2006
Springer
15 years 4 months ago
2006
Springer
We introduce two hierarchies of unknown ordinal height. The hierarchies are induced by natural fragments of a calculus based on finite types and G
108
Voted
BIRTHDAY
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. COWS is a recently defined process calculus for specifying and combining service-oriented applications, while modelling their dynamic behaviour.
117
Voted
INFOCOM
2002
IEEE
15 years 5 months ago
2002
IEEE
Abstract— We present in this paper an analytical model for the calculation of network load and drop probabilities in a TCP/IP network with general topology. First we formulate ou...
114
click to vote
ENTCS
2006
15 years 23 days ago
2006
Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We pres...