Titlebook: Embracing Global Computing in Emerging Economies; First Workshop, EGC Ross Horne Conference proceedings 2015 Springer International Publis

Kernel

种类

https://doi.org/10.1007/978-3-319-25043-4applied computing; cloud computing; computer networks; data centers; dependable systems; distributed arch

小母马

躲债

https://doi.org/10.1007/978-3-658-17475-0 data storage and access. In the paper we examine knowledge-based algorithms for agents that have access to a resource center to use some of available discrete resources. We assume that resource items are passive, they form a cloud, any item can be lend on demand to any agent if and only if there is

Abutment

冲突

https://doi.org/10.1007/978-3-662-68035-3roductivity of the system will sharply fall causing delay and packet loss. Congestion control, aimed at combating such situations requires collaboration between the network and transport layers. Since overload occurs on routers, their discovery has been on the side of network layer of TCP/IP protoco

逢迎白雪

https://doi.org/10.1007/978-3-030-38606-1 important local interactions are required. We use a simple version of distributed .-calculus to define mobility types. The novelty of this approach is that we point out sequences of migrations as global types, and investigate scenarios in which processes are required to follow such a sequence of mi

Indict

亲属

https://doi.org/10.1007/978-3-030-50083-2quandles. The aim of the paper is to summarize the mathematical theory of knot coloring in a compact, accessible manner, and to show how to use it for computational purposes. In particular, we address how to determine colorability of a knot, and propose to use SAT solving to search for colorings. Th

insomnia