4286 search results - page 325 / 858 » Formalizing Service Interactions |
172
click to vote
ISPDC
2003
IEEE
15 years 12 months ago
2003
IEEE
The paper presents a Java-based object-oriented system that offers a layered infrastructure to create the adequate framework for complex interactions between Grid components (e.g....
195
click to vote
FGCS
2008
15 years 6 months ago
2008
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction of threads with services. In the current paper, we assume that the thread...
304
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
225
click to vote
SIGIR
2011
ACM
2011
ACM
Find it if you can: a game for modeling different types of web search success using interaction data
14 years 9 months ago
A better understanding of strategies and behavior of successful searchers is crucial for improving the experience of all searchers. However, research of search behavior has been s...
162
click to vote
ISCC
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we propose a serving system consisting intelligent agents processing society information in a multi-user domain. The agents use the similarity information on the us...