4434 search results - page 772 / 887 » On the Composition of Hybrid Systems |
173
click to vote
ASIACRYPT
2005
Springer
15 years 12 months ago
2005
Springer
We introduce a new cryptographic primitive called the blind coupon mechanism (BCM). In effect, the BCM is an authenticated bit commitment scheme, which is AND-homomorphic. It has n...
166
click to vote
ESWS
2005
Springer
15 years 12 months ago
2005
Springer
The power of Web Service (WS) technology lies in the fact that it establishes a common, vendor-neutral platform for integrating distributed computing applications, in intranets as ...
168
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
175
click to vote
GRID
2005
Springer
15 years 12 months ago
2005
Springer
— Services-oriented architectures hold a lot of promise for grid-enabling scientific applications. In recent times, Web services have gained wide-spread acceptance in the Grid c...
154
click to vote
IFIP
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we propose a formalization of probable innocence, a notion of probabilistic anonymity that is associated to “realistic” protocols such as Crowds. We analyze crit...