1833 search results - page 215 / 367 » Mechanized Verification with Sharing |
150
click to vote
MMM
2005
Springer
16 years 2 days ago
2005
Springer
This paper describes solutions for parallel video processing based on LAN-connected PC-like workstations. We outline application scenarios for the processing of video with broadca...
175
click to vote
SISW
2005
IEEE
16 years 2 days ago
2005
IEEE
A crucial element of distributed cryptographic file systems are key management solutions that allow for flexible but secure data sharing. We consider efficient key management s...
136
click to vote
AAMAS
2005
Springer
16 years 1 days ago
2005
Springer
It is difficult to define a set of rules for a cellular automaton (CA) such that creatures with life-like properties (stability and dynamic behaviour, reproducton and self-repai...
166
click to vote
EUROPAR
2005
Springer
16 years 16 hour ago
2005
Springer
A lot of recent research on content-based P2P searching for file-sharing applications has focused on exploiting semantic relations between peers to facilitate searching. To the be...
129
click to vote
HPCC
2005
Springer
16 years 11 hour ago
2005
Springer
A lot of sophisticated techniques and platforms have been proposed to build distributed object systems. Remote method invocation and explicit message passing on top of traditional...