2472 search results - page 448 / 495 » Parallel Key Exchange |
135
click to vote
CONCUR
2001
Springer
15 years 7 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
116
click to vote
MIDDLEWARE
2001
Springer
15 years 6 months ago
2001
Springer
Although it has long been realised that ACID transactions by themselves are not adequate for structuring long-lived applications and much research work has been done on developing...
153
click to vote
SPAA
1999
ACM
15 years 6 months ago
1999
ACM
The time-constrained packet routing problem is to schedule a set of packets to be transmitted through a multinode network, where every packet has a source and a destination (as in ...
160
click to vote
ICDCS
1999
IEEE
15 years 6 months ago
1999
IEEE
With the increasing complexity of large-scale distributed (LSD) systems, an efficient monitoring mechanism has become an essential service for improving the performance and reliab...
121
click to vote
ICDCS
1999
IEEE
15 years 6 months ago
1999
IEEE
Update anywhere-anytime-anyway transactional replication has unstable behavior as the workload scales up. To reduce this problem, a two-tier replication algorithm is proposed in [...