22 search results - page 3 / 5 » Simple and Minimum-Cost Satisfiability for Goal Models |
ACISP
2010
Springer
13 years 6 months ago
2010
Springer
We provide the first description of and security model for authenticated key exchange protocols with predicate-based authentication. In addition to the standard goal of session ke...
ISCC
2009
IEEE
14 years 1 days ago
2009
IEEE
We investigate the problem of spreading information contents in a wireless ad hoc network. In our vision, information dissemination should satisfy the following requirements: (i) ...
IJSYSC
2000
13 years 5 months ago
2000
The generation of complex entities with advantageous behaviours beyond our manual design capability requires long-term incremental evolution with continuing emergence. In this pap...
NIPS
2000
13 years 6 months ago
2000
How should we decide among competing explanations of a cognitive process given limited observations? The problem of model selection is at the heart of progress in cognitive scienc...
PODC
1994
ACM
13 years 9 months ago
1994
ACM
In this paper, we investigate the practical performance of lock-free techniques that provide synchronization on shared-memory multiprocessors. Our goal is to provide a technique t...