Sciweavers

14577 search results - page 2520 / 2916
» Statistical Language Modelling
Sort
View
ESWS
2007
Springer
16 years 29 days ago
Two-Phase Web Service Discovery Based on Rich Functional Descriptions
Discovery is a central reasoning task in service-oriented architectures, concerned with detecting Web services that are usable for solving a given request. This paper presents two ...
Michael Stollberg, Uwe Keller, Holger Lausen, Stij...
ICALP
2007
Springer
16 years 29 days ago
Deterministic History-Independent Strategies for Storing Information on Write-Once Memories
Motivated by the challenging task of designing “secure” vote storage mechanisms, we study information storage mechanisms that operate in extremely hostile environments. In suc...
Tal Moran, Moni Naor, Gil Segev
ICALP
2007
Springer
16 years 29 days ago
Co-Logic Programming: Extending Logic Programming with Coinduction
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 ...
Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta
ICALP
2007
Springer
16 years 29 days ago
Ring Signatures of Sub-linear Size Without Random Oracles
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...
Nishanth Chandran, Jens Groth, Amit Sahai
ICWE
2007
Springer
16 years 29 days ago
Transparent Interface Composition in Web Applications
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...
Jeronimo Ginzburg, Gustavo Rossi, Matias Urbieta, ...
« Prev « First page 2520 / 2916 Last » Next »