6978 search results - page 1054 / 1396 » On Proofs in System P |
157
click to vote
ACNS
2005
Springer
16 years 12 days ago
2005
Springer
Digital signature systems provide a way to transfer trust from the public key to the signed data; this is used extensively within PKIs. However, some applications need a transfer o...
168
click to vote
AI
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We propose a framework for generating adaptive multimedia presentations through the dynamic selection of files from a large data repository. The presentation is generate...
158
click to vote
ATAL
2005
Springer
16 years 12 days ago
2005
Springer
One of the most significant challenges in applying agent technologies lies in deployment of agent systems in largescale open environments. ...
190
click to vote
CSL
2005
Springer
16 years 11 days ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
184
click to vote
ESAW
2005
Springer
16 years 11 days ago
2005
Springer
Ambient intelligence envisages a world saturated with sensors and other embedded computing technologies, operating transparently, and accessible to all in a seamless and intuitive ...