11345 search results - page 2033 / 2269 » Foundations of Computer Science |
108
Voted
SOFSEM
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we define partial order semantics of types of nets. Types of nets are a parametric definition of Petri nets originally developed for a general presentation of the s...
115
click to vote
PODS
2000
ACM
15 years 7 months ago
2000
ACM
An estimation algorithm for a query is a probabilistic algorithm that computes an approximation for the size (number of tuples) of the query. One class of estimation algorithms us...
116
click to vote
ASIACRYPT
2000
Springer
15 years 7 months ago
2000
Springer
nded abstract of this work appears Advances in Cryptology — Asiacrypt 2000, Tatsuaki Okamoto, editor, Lecture Notes in Computer Science vol. 1976, Springer-Verlag, 2000. c IACR A...
115
click to vote
ACISP
1999
Springer
15 years 7 months ago
1999
Springer
The ways the threshold parameter can be modified after the setup of a secret sharing scheme is the main theme of this work. The considerations are limited to the case when there ...
141
click to vote
COMPULOG
1999
Springer
15 years 7 months ago
1999
Springer
Planning and scheduling attracts an unceasing attention of computer science community. However, despite of similar character of both tasks, in most current systems planning and sch...