146
click to vote
ICDCN
2016
Springer
10 years 1 months ago
2016
Springer
In this work we study local checkability of network properties like s-t reachability, or whether the network is acyclic or contains a cycle. A structural property S of a graph G i...
273
click to vote
ICDCN
2016
Springer
10 years 1 months ago
2016
Springer
Distributed on a unit circle are k exits. Two autonomous mobile robots are placed on the circle. Each robot has a maximum speed of 1 and the robots can communicate wirelessly. The...
164
click to vote
ICDCN
2016
Springer
10 years 1 months ago
2016
Springer
The Bitcoin system only provides eventual consistency. For everyday life, the time to confirm a Bitcoin transaction is prohibitively slow. In this paper we propose a new system, ...
294
click to vote
ICDCIT
2016
Springer
10 years 1 months ago
2016
Springer
Abstract. The Infrastructure-as-a-Service (IaaS) cloud is evolving towards the Resource-as-a-Service (RaaS) cloud: a cloud which requires economic decisions to be taken in real tim...
ICAE
2016
10 years 1 months ago
2016
This paper deals with automatic face recognition in the context of a real application for person identification developed for the Czech News Agency ( ˇCTK) . We focus on popular ...
412
click to vote
IANDC
2016
10 years 1 months ago
2016
We investigate the behaviour of population models, specified in stochastic Concurrent Constraint Programming (sCCP). In particular, we focus on models from which we can define a...
401
click to vote
IANDC
2016
10 years 1 months ago
2016
Consider a scenario in which parties use a public-key encryption scheme and a signature scheme with a single public key/private key pair—so the private key sk is used for both s...
454
click to vote
IANDC
2016
10 years 1 months ago
2016
We consider the problem of computing the satisfaction probability of a formula for stochastic models with parametric uncertainty. We show that this satisfaction probability is a s...