10622 search results - page 1810 / 2125 » Python Programming Language |
156
click to vote
IFIP
2005
Springer
16 years 5 days ago
2005
Springer
Recently, opacity has proved to be a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of...
164
click to vote
IFIP
2005
Springer
16 years 5 days ago
2005
Springer
Anonymity with identity escrow attempts to allow users of a service to remain anonymous, while providing the possibility that the service owner can break the anonymity in exception...
155
click to vote
IFIP
2005
Springer
16 years 5 days ago
2005
Springer
In this paper, as a step towards the ultimate aim of developing an evoting system that would be likely to gain and retain the trust of the general voting public, we describe a des...
181
click to vote
IFIP
2005
Springer
16 years 5 days ago
2005
Springer
Two different approaches are proposed to enhance the efficiency of the numerical resolution of optimal control problems governed by a linear advection– diffusion equation. In ...
151
click to vote
LPAR
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no...