317 search results - page 48 / 64 » Snap-Stabilization in Message-Passing Systems |
SRDS
1999
IEEE
14 years 2 months ago
1999
IEEE
Production of reliable and flexible distributed applications is a growing area of interest and research. Various middleware technologies are often used as the communication infras...
NDSS
1998
IEEE
14 years 2 months ago
1998
IEEE
The Internet White Pages Service (IWPS) has been slow to materialise for many reasons. One of them is the security concerns that organisations have, over allowing the public to ga...
PADS
1996
ACM
14 years 2 months ago
1996
ACM
Advances in massively parallel platforms are increasing the prospects for high performance discrete event simulation. Still the di culty in parallel programming persists and there...
APCSAC
2000
IEEE
14 years 1 months ago
2000
IEEE
Dataflow computation models enable simpler and more efficient management of the memory hierarchy - a key barrier to the performance of many parallel programs. This paper describes...
ECOOP
1995
Springer
14 years 1 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...