7690 search results - page 1213 / 1538 » On the semantics of informational independence |
162
click to vote
ATAL
2007
Springer
16 years 29 days ago
2007
Springer
Successful negotiators prepare by determining their position along five dimensions: Legitimacy, Options, Goals, Independence, and Commitment, (LOGIC). We introduce a negotiation ...
162
click to vote
CONCUR
2007
Springer
16 years 29 days ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
159
click to vote
CSR
2007
Springer
16 years 29 days ago
2007
Springer
To solve a problem on a given CNF formula F a splitting algorithm recursively calls for F[v] and F[¬v] for a variable v. Obviously, after the first call an algorithm obtains some...
173
click to vote
EUROCRYPT
2007
Springer
16 years 28 days ago
2007
Springer
We investigate a general class of (black-box) constructions for range extension of weak pseudorandom functions: a construction based on m independent functions F1, . . . , Fm is gi...
176
click to vote
FC
2007
Springer
16 years 28 days ago
2007
Springer
Keylogging and phishing attacks can extract user identity and sensitive account information for unauthorized access to users’ financial accounts. Most existing or proposed solut...