4217 search results - page 796 / 844 » Computational indistinguishability logic |
HPDC
1998
IEEE
15 years 2 months ago
1998
IEEE
Development of portable network-aware applications demands an interface to the network that allows an application to obtain information about its execution environment. This paper...
107
click to vote
ICPADS
1998
IEEE
15 years 2 months ago
1998
IEEE
We extend a torus-based coterie structure for distributed mutual exclusion to allow k multiple entries in a critical section. In the original coterie, the system nodes are logical...
IPPS
1998
IEEE
15 years 2 months ago
1998
IEEE
A number of solutions have been proposed for the problem of mutual exclusion in distributed systems. Some of these approaches have since been extended to a prioritized environment...
ECOOPW
1998
Springer
15 years 2 months ago
1998
Springer
This paper explains the structure of a project repository, which enables you to trace business processes and business rules to the architecture and design of the software system. T...
MFCS
1998
Springer
15 years 2 months ago
1998
Springer
It is known that a language is context-free iff it is the set of borders of the trees of recognizable set, where the border of a (labelled) tree is the word consisting of its leaf ...