290 search results - page 34 / 58 » entcs 2006 |
126
click to vote
ENTCS
2006
15 years 15 days ago
2006
Components allow to design applications in a modular way by enforcing a strong separation of concerns. In distributed systems this separation of concerns have to be composed with ...
145
Voted
ENTCS
2006
15 years 15 days ago
2006
It can be traced back to Brouwer that continuous functions of type StrA B, where StrA is the type of infinite streams over elements of A, can be represented by well founded, Abra...
131
Voted
ENTCS
2006
15 years 15 days ago
2006
We study properties of functors on categories of sets (classes) together with set (class) functions. In particular, we investigate the notion of inclusion preserving functor, and ...
89
Voted
ENTCS
2006
15 years 15 days 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,...
110
Voted
ENTCS
2006
15 years 15 days ago
2006
We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the...