10575 search results - page 1786 / 2115 » T2Script Programming Language |
165
click to vote
FCA
2005
Springer
16 years 7 days ago
2005
Springer
Formal Concept Analysis (FCA) has typically been applied in the field of software engineering to support software maintenance and object-oriented class identification tasks. This...
143
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
150
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
We define an algorithmic paradigm, the stack model, that captures many primal-dual and local-ratio algorithms for approximating covering and packing problems. The stack model is ...
157
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
This paper studies the dynamic bin packing problem, in which items arrive and depart at arbitrary time. We want to pack a sequence of unit fractions items (i.e., items with sizes ...
171
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...