592 search results - page 19 / 119 » Modelling the Behaviour of Management Operations in Cloud-ba... |
WAC
2005
Springer
14 years 1 months ago
2005
Springer
: The development and deployment of interconnected networks is being increasingly limited by their complexity and the concomitant cost of managing the operational network. Autonomi...
USENIX
2000
13 years 9 months ago
2000
Language-basedextensible systems, such as Java Virtual Machines and SPIN, use type safety to provide memory safety in a single address space. By using software to provide safety, ...
ENTCS
2007
13 years 7 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
ASWEC
2001
IEEE
13 years 11 months ago
2001
IEEE
Mainstreaming and industrialising agent technologies requires suitable methodological and technological support for the various engineering activities associated with managing the...
HPCN
1995
Springer
13 years 11 months ago
1995
Springer
The Mermaid project focuses on the construction of simulation models for MIMD multi-computers in order to evaluate them and to give estimates of the system’s performance. A multi...