1056 search results - page 10 / 212 » A Probabilistic Applied Pi-Calculus |
CSFW
2012
IEEE
11 years 10 months ago
2012
IEEE
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
ECSQARU
2003
Springer
14 years 22 days ago
2003
Springer
1 The purpose of this paper is to show how probabilistic argumentation is applicable to modern public-key cryptography as an appropriate tool to evaluate webs of trust. This is an ...
KI
2005
Springer
14 years 1 months ago
2005
Springer
Dealing with methods of human-robot interaction and using a real mobile robot, stable methods for people detection and tracking are fundamental features of such a system and requir...
BICOB
2009
Springer
14 years 2 months ago
2009
Springer
