11066 search results - page 1776 / 2214 » Linearity in Process Languages |
223
click to vote
AACC
2004
Springer
16 years 6 days ago
2004
Springer
Conventional document search techniques are constrained by attempting to match individual keywords or phrases to source documents. Thus, these techniques miss out documents that co...
174
click to vote
CARDIS
2004
Springer
16 years 6 days ago
2004
Springer
: One major challenge for digitally signing a document is the so called “what you see is what you sign” problem. XML as a meta language for encoding semistructured data offers ...
184
click to vote
CONCUR
2004
Springer
16 years 6 days ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
167
click to vote
CP
2004
Springer
16 years 6 days ago
2004
Springer
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
168
click to vote
CP
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...