1268 search results - page 159 / 254 » Verifying distributed systems: the operational approach |
MMS
1998
13 years 11 months ago
1998
Over the past several years there has been a considerable amount of research within the field of quality of service (QoS) support for distributed multimedia systems. To date, mos...
ATAL
2011
Springer
12 years 11 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
CCGRID
2005
IEEE
14 years 4 months ago
2005
IEEE
Large distributed Grid systems pose new challenges in job scheduling due to complex workload characteristics and system characteristics. Due to the numerous parameters that must b...
ATAL
2007
Springer
14 years 5 months ago
2007
Springer
This paper proposed a new approach that integrated an artificial market simulation and text-mining with real information. In this approach, economic trends were extracted from te...
POLICY
2004
Springer
14 years 4 months ago
2004
Springer
Policy Based Management (PBM) is a research topic that has been driven by the tremendous complexity inherent in the administration and management of present-day networking and tel...