592 search results - page 59 / 119 » Modelling the Behaviour of Management Operations in Cloud-ba... |
CMG
2001
13 years 9 months ago
2001
What is the career path for a performance analyst? A capacity planner? Most technicians paid their dues in the trenches of systems programming or operations. Having done it all, t...
SIGMOD
2008
ACM
14 years 7 months ago
2008
ACM
Orion is a state-of-the-art uncertain database management system with built-in support for probabilistic data as first class data types. In contrast to other uncertain databases, ...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
EDOC
2006
IEEE
14 years 1 months ago
2006
IEEE
The variety of design artefacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper pro...
SERP
2007
13 years 9 months ago
2007
- Since the advent of model driven software engineering (MDSE) it has become necessary to develop techniques and tools for model evolution. In this paper we examine two issues and ...