4401 search results - page 813 / 881 » Computing with Default Logic |
155
click to vote
LOPSTR
2007
Springer
16 years 12 days ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
191
click to vote
CCGRID
2006
IEEE
16 years 10 days ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
166
click to vote
PODC
2006
ACM
16 years 7 days ago
2006
ACM
A quorum system over a universe of logical elements is a collection of subsets (quorums) of elements, any two of which intersect. In numerous distributed algorithms, the elements ...
168
click to vote
CCGRID
2005
IEEE
15 years 12 months ago
2005
IEEE
ABSTRACT. Objectives. This paper addresses Grid-based integration and access of distributed data from infectious disease patient databases, literature on in-vitro and in-vivo pharm...
164
click to vote
SC
2003
ACM
15 years 11 months ago
2003
ACM
Many applications of parallel I/O perform non-contiguous file accesses: instead of accessing a single (large) block of data in a file, a number of (smaller) blocks of data scatt...