16616 search results - page 2930 / 3324 » Extending Extended Vacuity |
205
click to vote
ACNS
2009
Springer
16 years 1 months ago
2009
Springer
We enrich the classical notion of group key exchange (GKE) protocols by a new property that allows each pair of users to derive an independent peer-to-peer (p2p) key on-demand and ...
226
click to vote
AGS
2009
Springer
16 years 1 months ago
2009
Springer
We propose a novel approach to intelligent tutoring gaming simulations designed for both educational and inquiry purposes in complex multi-actor systems such as infrastructures or...
198
click to vote
ALGOSENSORS
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we consider the model of communication where wireless devices can either switch their radios off to save energy (and hence, can neither send nor receive messages), o...
196
click to vote
AMMA
2009
Springer
16 years 1 months ago
2009
Springer
I study school assignment problems, focusing on two popular mechanisms: the Boston Mechanism (BM) and Deferred Acceptance (DA). The former has been criticized regarding both e¢ c...
196
click to vote
APN
2009
Springer
16 years 1 months ago
2009
Springer
In previous works we defined ν-APNs, an extension of P/T nets with the capability of creating and managing pure names. We proved that, though reachability is undecidable, coverab...