3333 search results - page 293 / 667 » Abstract Proof Search |
165
click to vote
FOSSACS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...
210
click to vote
FOSSACS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
161
click to vote
MPC
2004
Springer
16 years 20 hour ago
2004
Springer
Abstract. Generic functions are defined by induction on the structural representation of types. As a consequence, by defining just a single generic operation, one acquires this o...
158
click to vote
PERVASIVE
2004
Springer
16 years 17 hour ago
2004
Springer
Based on an extensive field study of current firefighting practices, we have developed a system called Siren to support tacit communication between firefighters with multiple level...
155
click to vote
PKC
2004
Springer
16 years 16 hour ago
2004
Springer
Abstract. In this paper, we examine issues related to the construction of identity-based threshold decryption schemes and argue that it is important in practice to design an identi...