5900 search results - page 957 / 1180 » Dependable Systems |
179
click to vote
CRYPTO
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We consider the broadcast exclusion problem: how to transmit a message over a broadcast channel shared by N = 2n users so that all but some specified coalition of k excl...
162
click to vote
DBPL
1999
Springer
15 years 11 months ago
1999
Springer
Linear constraint databases and query languages are appropriate for spatial database applications. Not only the data model is natural to represent a large portion of spatial data s...
176
click to vote
ISORC
1999
IEEE
15 years 11 months ago
1999
IEEE
As networks and the use of communication within applications continue to grow and find more uses, so too does the demand for more control and manageability of various "system...
145
click to vote
ASYNC
1998
IEEE
15 years 11 months ago
1998
IEEE
We present the XDI Model for specifying delay-insensitive circuits, that is, reactive systems that correctly exchange signals with their environment in spite of unknown delays inc...
148
click to vote
ICLP
1999
Springer
15 years 10 months ago
1999
Springer
Knowledge representation in logics, even in the order-sorted logic that includes a sort hierarchy, tends to lose the conciseness and the nuances of natural language. If we could c...