2262 search results - page 290 / 453 » Challenging Applications on Fast Networks |
184
click to vote
NDSS
2000
IEEE
15 years 10 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
148
click to vote
ISCA
1998
IEEE
15 years 10 months ago
1998
IEEE
The SHRIMP cluster-computing system has progressed to a point of relative maturity; a variety of applications are running on a 16-node system. We have enough experience to underst...
177
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
The construction of a large class of distributed systems can be simplified by leveraging middleware, which is layered between network operating systems and application components....
152
click to vote
I3E
2001
15 years 7 months ago
2001
: Addressing new public challenges such as the one-stop government and improved service quality, we introduce serviceflow management as a generic concept to coordinate cross-organi...
175
click to vote
MASCOTS
2004
15 years 7 months ago
2004
Decoupling flexible, scalable and asynchronous nature of publish/subscribe systems makes them a good choice for the mobile wireless domain. Our research investigates the applicati...