Sciweavers

4498 search results - page 366 / 900
» How to Invent Functions
Sort
View
FOSAD
2007
Springer
16 years 29 days ago
Secure Service Orchestration
Abstract. We present a framework for designing and composing services in a secure manner. Services can enforce security policies locally, and can invoke other services in a “call...
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi F...
IFSA
2007
Springer
158views Fuzzy Logic» more  IFSA 2007»
16 years 29 days ago
Fuzziness and Performance: An Empirical Study with Linguistic Decision Trees
Abstract. Generally, there are two main streams of theories for studying uncertainties. One is probability theory and the other is fuzzy set theory. One of the basic ideas of fuzzy...
Zengchang Qin, Jonathan Lawry
PKC
2007
Springer
129views Cryptology» more  PKC 2007»
16 years 28 days ago
Two-Tier Signatures, Strongly Unforgeable Signatures, and Fiat-Shamir Without Random Oracles
We provide a positive result about the Fiat-Shamir (FS) transform in the standard model, showing how to use it to convert threemove identification protocols into two-tier signatur...
Mihir Bellare, Sarah Shoup
PPDP
2007
Springer
16 years 28 days ago
A simple rewrite notion for call-time choice semantics
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...
Francisco Javier López-Fraguas, Juan Rodr&i...
WINE
2007
Springer
124views Economy» more  WINE 2007»
16 years 28 days ago
Stochastic Models for Budget Optimization in Search-Based Advertising
Internet search companies sell advertisement slots based on users’ search queries via an auction. Advertisers have to solve a complex optimization problem of how to place bids o...
S. Muthukrishnan, Martin Pál, Zoya Svitkina