7988 search results - page 1441 / 1598 » A Useful Undecidable Theory |
225
click to vote
ESOP
2004
Springer
15 years 9 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...
147
click to vote
ICWE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper describes the new e-learning tool CHESt that allows students to search in a knowledge base for short (teaching) multimedia clips by using a semantic search eng...
152
click to vote
ISPA
2004
Springer
15 years 9 months ago
2004
Springer
In a multicluster architecture, where jobs can be submitted through each constituent cluster, the job arrival rates in individual clusters may be uneven and the load therefore need...
158
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...
155
click to vote
UPP
2004
Springer
15 years 9 months ago
2004
Springer
Self-assembly is the spontaneous self-ordering of substructures into superstructures driven by the selective affinity of the substructures. DNA provides a molecular scale material...