7839 search results - page 250 / 1568 » What's there and what's not |
111
click to vote
WPES
2005
ACM
15 years 7 months ago
2005
ACM
As the Internet becomes increasingly used for sensitive transactions, the need to protect user privacy becomes more and more important. One fundamental aspect of user privacy is t...
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-ru...
DIGRA
2005
Springer
15 years 7 months ago
2005
Springer
Building experimental games offers an alternative methodology for researching and understanding games, beyond what can be understood by playing and studying existing games alone. ...
139
click to vote
FMCO
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
UM
2005
Springer
15 years 7 months ago
2005
Springer
Adaptive information systems typically exploit knowledge about the user’s interests, preferences, goals etc. to determine what should be presented to the user and how this presen...