1737 search results - page 329 / 348 » On Interpolation in Existence Logics |
127
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we study the effectiveness of the multilevel paradigm in considerably reducing the diagnosis latency of distributed algorithms for fault detection in networks with ...
182
click to vote
SISW
2003
IEEE
15 years 11 months ago
2003
IEEE
— Smart cards are widely known for their tamper resistance, but only contain a small amount of memory. Though very small, this memory often contains highly valuable information (...
158
click to vote
SSDBM
2003
IEEE
15 years 11 months ago
2003
IEEE
Life science researchers frequently need to query large protein data sets in a variety of different ways. Protein data sets have a rich structure that includes its primary structu...
194
click to vote
AOSD
2003
ACM
15 years 11 months ago
2003
ACM
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...
171
click to vote
DALT
2003
Springer
15 years 11 months ago
2003
Springer
Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agent’s architecture (in parti...