PACT
2005
Springer
14 years 5 months ago
2005
Springer
Abstract. In this note a general approach to designing distributed systems based on coupling existing software tools is presented and illustrated by two examples. Utilization of th...
PACT
2005
Springer
14 years 5 months ago
2005
Springer
This paper presents a parallel version for the Propagation Algorithm which belongs to the region growing family of algorithms. The main goal of our implementation is to decrease de...
PACT
2005
Springer
14 years 5 months ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...
PACT
2005
Springer
14 years 5 months ago
2005
Springer
The goal of our investigation is to find automatically the best rule for a cell in the cellular automata model. The cells are either of type Obstacle, Empty or Creature. Only Crea...
PACT
2005
Springer
14 years 5 months ago
2005
Springer
PACT
2005
Springer
14 years 5 months ago
2005
Springer
Agent technology is often claimed to be the most natural approach for automating e-commerce business processes. Despite these claims, up till now, the most successful e-commerce sy...
PACT
2005
Springer
14 years 5 months ago
2005
Springer
PACT
2005
Springer
14 years 5 months ago
2005
Springer
The paper is dedicated to an open T-system (OpenTS) — a programming system that supports automatic parallelization of computations for high-performance and distributed applicatio...
PACT
2005
Springer
14 years 5 months ago
2005
Springer
Abstract. The hotspot seriously degrades the performance of a parallel algorithm but there have not been many methods proposed for this problem. Without modification of mesh topolo...
ISSADS
2005
Springer
14 years 5 months ago
2005
Springer
The aim of this paper is to show some solutions for key management in ad hoc networks. The major problem in providing security services in such infrastructure less networks is how...