5210 search results - page 660 / 1042 » Tools for Distributed Facilitation |
183
click to vote
SAINT
2002
IEEE
15 years 11 months ago
2002
IEEE
From a stand point of server operation, performance measurement of the server is important. One of the major parts of the measurement is kernel monitoring, and most server adminis...
161
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
In this survey paper we describethe combination of: discretized integral formulations, sparsication techniques, and krylov-subspace based model-order reduction that has led to rob...
184
click to vote
MA
1998
Springer
15 years 11 months ago
1998
Springer
Mobile active computational entities introduce peculiar problems in the coordination of distributed application components. The paper surveys several coordination models for mobil...
184
click to vote
COST
1997
Springer
15 years 11 months ago
1997
Springer
: Automated processes in distributed communication environments require tools for unifying heterogeneous multimedia services. The Teleservice Descriptor is introduced for generic h...
184
click to vote
CAV
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I O automata to extract a set of proof obligations for s...