3914 search results - page 181 / 783 » Automating SLA modeling |
CSL
2007
Springer
13 years 8 months ago
2007
Springer
This paper describes the use of dynamic Bayesian networks for the task of articulatory feature recognition. We show that by modeling the dependencies between a set of 6 multi-leve...
CL
2002
Springer
13 years 7 months ago
2002
Springer
A new notion of security boundary is introduced to model multilevel security policies in the scenario of mobile systems, within Cardelli and Gordon's "pure" mobile ...
JLP
2011
13 years 2 months ago
2011
The family of domain algebras provide an elegant formal system for automated reasoning about programme verification. Their primary models are algebras of relations, viz. represen...
ECMDAFA
2006
Springer
13 years 11 months ago
2006
Springer
A difficult challenge in the industrialisation of Model-Driven Development is managing different versions of models. Different versions may arise at any time during the development...
SPLC
2007
13 years 9 months ago
2007
Systems such as adaptative and context–aware ones must adapt themselves to changing requirements at runtime. Modeling and implementing this kind of systems is a difficult opera...