6978 search results - page 1054 / 1396 » On Proofs in System P |
168
Voted
ACNS
2005
Springer
16 years 1 months 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...
202
click to vote
AI
2005
Springer
16 years 1 months 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...
170
click to vote
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
One of the most significant challenges in applying agent technologies lies in deployment of agent systems in largescale open environments. ...
208
click to vote
CSL
2005
Springer
16 years 1 months 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...
200
click to vote
ESAW
2005
Springer
16 years 1 months 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 ...