ICALP
2000
Springer
14 years 3 months ago
2000
Springer
This paper demonstrates how three stochastic process algebras can be mapped on to a generally-distributed stochastic transition system. We demonstrate an aggregation technique on ...
ICALP
2000
Springer
14 years 3 months ago
2000
Springer
d Abstract) Christian Cachin1 , Jan Camenisch1 , Joe Kilian2 , and Joy M
ICALP
2000
Springer
14 years 3 months ago
2000
Springer
In this paper we investigate timed polyhedra, i.e. polyhedra which are finite unions of full dimensional simplices of a special kind. Such polyhedra form the basis of timing analys...
ICALP
2000
Springer
14 years 3 months ago
2000
Springer
We consider two natural generalizations of the notion of transversal to a finite hypergraph, arising in data-mining and machine learning, the so called multiple and partial transve...
ICALP
2000
Springer
14 years 3 months ago
2000
Springer
Abstract. We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual t...
ICALP
2000
Springer
14 years 3 months ago
2000
Springer
ICALP
2000
Springer
14 years 3 months ago
2000
Springer
Abstract. We obtain new results regarding the precise average bitcomplexity of five algorithms of a broad Euclidean type. We develop a general framework for analysis of algorithms,...
ICALP
2000
Springer
14 years 3 months ago
2000
Springer
The list update problem is a classical online problem, with an optimal competi
ICALP
2000
Springer
14 years 3 months ago
2000
Springer
ICALP
2000
Springer
14 years 3 months ago
2000
Springer
