4217 search results - page 776 / 844 » Computational indistinguishability logic |
163
click to vote
IEEESCC
2007
IEEE
16 years 19 days ago
2007
IEEE
UN/CEFACT’s Modeling Methodology (UMM) is a UML profile for modeling global B2B choreographies. The basic building blocks of UMM are business transactions, which describe the e...
156
click to vote
LOPSTR
2007
Springer
16 years 14 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...
194
click to vote
CCGRID
2006
IEEE
16 years 12 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 ...
168
click to vote
PODC
2006
ACM
16 years 8 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 ...
169
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...