5550 search results - page 55 / 1110 » Different Approaches to Proof Systems |
161
click to vote
ENTCS
2006
15 years 6 months ago
2006
There are two main ways of defining secrecy of cryptographic protocols. The first version checks if the adversary can learn the value of a secret parameter. In the second version,...
123
click to vote
MVA
2007
15 years 7 months ago
2007
The Agent WiSARD methodology for intelligent active video surveillance systems is proposed in this paper. The hybrid neurosymbolic system (called ISIDIS) is based on the integrati...
159
Voted
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
154
click to vote
DEBU
2002
15 years 6 months ago
2002
The VISPO project studies cooperative information systems in virtual districts to derive possible cooperation patterns and to provide an architectural framework for cooperation. D...
160
Voted
JLP
2010
15 years 28 days ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...