21342 search results - page 3751 / 4269 » A Structured Language Model |
143
Voted
WWW
2005
ACM
16 years 5 months ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...
117
click to vote
WWW
2003
ACM
16 years 5 months ago
2003
ACM
This paper introduces a framework for modeling and specifying the global behavior of e-service compositions. Under this framework, peers (individual e-services) communicate throug...
135
click to vote
WWW
2001
ACM
16 years 5 months ago
2001
ACM
XQForms is the first generator of Web-based query forms and reports for XML data. XQForms takes as input (i) XML Schemas that model the data to be queried and presented, (ii) decl...
130
click to vote
KDD
2007
ACM
16 years 5 months ago
2007
ACM
In this paper we address the problem of detecting topics in large-scale linked document collections. Recently, topic detection has become a very active area of research due to its...
255
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...