5891 search results - page 250 / 1179 » On the Computational Security of a Distributed Key Distribut... |
182
click to vote
CSL
2005
Springer
16 years 5 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...
156
click to vote
IPPS
2006
IEEE
16 years 20 days ago
2006
IEEE
In a network consisting of several thousands computers, the occurrence of faults is unavoidable. Being able to test the behaviour of a distributed program in an environment where ...
172
click to vote
ISCAPDCS
2001
15 years 8 months ago
2001
Known parallel DBMS offer at present only static partitioning schemes. Adding a storage node is then a cumbersome operation that typically requires the manual data redistribution....
190
click to vote
SEC
2003
15 years 8 months ago
2003
For the emerging ambient environments, in which interconnected intelligent devices will surround us to increase the comfort of our lives, fault tolerance and security are of paramo...
204
click to vote
PLDI
2006
ACM
16 years 18 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...