4184 search results - page 576 / 837 » Names of Our Lives |
224
click to vote
HPCC
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Even though there have been many research works on distributed deadlock detection and recovery mechanisms, the multi-cycle deadlock problems are not extensively studied y...
217
click to vote
ICSOC
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. A self-managed system is both self-assembling and selfhealing. Service-oriented Computing (SoC) architectures, such as a Web Services Architecture (WS-A) illustrate a hig...
193
click to vote
ILC
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
190
click to vote
MCAM
2007
Springer
16 years 23 days ago
2007
Springer
Existing Web image search engines index images by textual descriptions including filename, image caption, surrounding text, etc. However, the textual description available on the W...
173
click to vote
MCS
2007
Springer
16 years 23 days ago
2007
Springer
Classifier combining rules are designed for the fusion of the results from the component classifiers in a multiple classifier system. In this paper, we firstly propose a theoretica...