1829 search results - page 217 / 366 » aims 2008 |
163
click to vote
TELSYS
2002
15 years 6 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
198
click to vote
TPDS
2002
15 years 6 months ago
2002
One of the most fundamental problems automatic parallelization tools are confronted with is to find an optimal domain decomposition for a given application. For regular domain prob...
186
click to vote
PVLDB
2008
15 years 6 months ago
2008
Graphs are widely used to model complicated data semantics in many applications. In this paper, we aim to develop efficient techniques to retrieve graphs, containing a given query...
205
click to vote
TSC
2008
15 years 6 months ago
2008
This paper studies the dynamic Web service selection problem in a failure-prone environment, which aims to determine a subset of Web services to be invoked at runtime so as to succ...
165
click to vote
CONCURRENCY
2008
15 years 5 months ago
2008
Very large size Peer-to-Peer systems are often required to implement efficient and scalable services, but usually they can be built only by assembling resources contributed by man...