×

Found 32 Documents (Results 1–32)

Mean-field limits beyond ordinary differential equations. (English) Zbl 1346.68217

Bernardo, Marco (ed.) et al., Formal methods for the quantitative evaluation of collective adaptive systems. 16th international school on formal methods for the design of computer, communication, and software systems, SFM 2016, Bertinoro, Italy, June 20–24, 2016. Advanced lectures. Cham: Springer (ISBN 978-3-319-34095-1/pbk; 978-3-319-34096-8/ebook). Lecture Notes in Computer Science 9700, 61-82 (2016).

Task delegation in a peer-to-peer volunteer computing platform. (English) Zbl 1392.68098

Gribaudo, Marco (ed.) et al., Analytical and stochastic modelling techniques and applications. 22nd international conference, ASMTA 2015, Albena, Bulgaria, May 26–29, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-18578-1/pbk; 978-3-319-18579-8/ebook). Lecture Notes in Computer Science 9081, 115-129 (2015).
MSC:  68M14 60J28 68Q87
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software