9702 search results - page 1800 / 1941 » Communicating Mobile Processes |
150
click to vote
LICS
2000
IEEE
15 years 9 months ago
2000
IEEE
We provide a general method for ameliorating state explosion via symmetry reduction in certain asymmetric systems, such as systems with many similar, but not identical, processes....
133
Voted
ACMDIS
2000
ACM
15 years 9 months ago
2000
ACM
This paper describes the experience gained in the case study of adapting the Bridge, a GUI design method to the design of non-GUI interactive consumer products. An industrial desi...
176
click to vote
DIALM
2000
ACM
15 years 9 months ago
2000
ACM
The allocation of scarce spectral resources to support as many user applications as possible while maintaining reasonable quality of service is a fundamental problem in wireless c...
159
Voted
MM
2000
ACM
15 years 9 months ago
2000
ACM
The two-layered distributed clustered server architecture consisting of a control server and a group of storage servers has been widely used to support multimedia file systems. Wi...
158
click to vote
SAC
2000
ACM
15 years 9 months ago
2000
ACM
Object-oriented modeling and design is a way of solving problems using models based upon real-world concepts. In this paradigm, the fundamental construct is the object, an entity ...