6155 search results - page 989 / 1231 » A language for multiple models of computation |
169
click to vote
EDUTAINMENT
2007
Springer
16 years 23 days ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
179
click to vote
ICALP
2007
Springer
16 years 22 days ago
2007
Springer
Motivated by the challenging task of designing “secure” vote storage mechanisms, we study information storage mechanisms that operate in extremely hostile environments. In suc...
158
click to vote
ICALP
2007
Springer
16 years 22 days ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
195
click to vote
ICALP
2007
Springer
16 years 22 days ago
2007
Springer
Ring signatures, introduced by Rivest, Shamir and Tauman, enable a user to sign a message anonymously on behalf of a “ring”. A ring is a group of users, which includes the sign...
161
click to vote
SIGIR
2005
ACM
16 years 4 days ago
2005
ACM
We study the problem of offering publish/subscribe functionality on top of structured overlay networks using data models and languages from IR. We show how to achieve this by ext...