916 search results - page 82 / 184 » Using Active Messages to Support Shared Objects |
152
click to vote
PROFES
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Software maintenance is the most expensive activity in software development. Many software companies spent a large amount of cost to maintain the existing software system...
123
click to vote
CSFW
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
144
click to vote
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
Copyright 2004 IEEE. Published in Conference on Computer Vision and Pattern Recognition (CVPR-2004), June 27 - July 2, 2004, Washington DC. Personal use of this material is permit...
108
click to vote
JOT
2002
15 years 2 months ago
2002
Java supports distributed programming using threads and Remote Method Invocation (JRMI). However, a Java thread does not match well with the object concept, and JRMI cannot easily...
111
click to vote
KIVS
2005
Springer
15 years 8 months ago
2005
Springer
: The Chord protocol is a structured Peer-to-Peer (P2P) protocol based on distributed hash tables (DHT). By using hash keys to identify the nodes in the network and also the shared...