9444 search results - page 1569 / 1889 » The Language Model LMNtal |
183
click to vote
ICALP
2007
Springer
16 years 26 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...
160
click to vote
ICALP
2007
Springer
16 years 26 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 ...
201
click to vote
ICALP
2007
Springer
16 years 26 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...
162
click to vote
ICWE
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. In this paper we present an approach for oblivious composition of Web user interfaces, particularly for volatile functionality. Our approach, which is inspired on well-kn...
178
click to vote
ICWE
2007
Springer
16 years 26 days ago
2007
Springer
: The goal of this work is to present the software WebRatio 5, which is a good representative of a new generation of CASE tools for model-driven design of Web applications. WebRati...