7961 search results - page 1282 / 1593 » Input-Output Model Programs |
160
click to vote
EMO
2005
Springer
16 years 7 days ago
2005
Springer
Water systems often allow efficient water uses via water reuse and/or recirculation. Defining the network layout connecting water-using processes is a complex problem which involv...
186
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place...
168
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In this paper we attempt to formally study two very intuitive physical models: sealed envelopes and locked boxes, often used as illustrations for common cryptographic ope...
167
Voted
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
This paper presents several advances in the understanding of dynamic data structures in the bit-probe model: – We improve the lower bound record for dynamic language membership p...
178
click to vote
IFIP
2005
Springer
16 years 6 days ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...