5475 search results - page 79 / 1095 » Model Driven Security |
118
click to vote
ASE
2008
15 years 2 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
119
click to vote
TITB
2008
15 years 2 months ago
2008
Abstract--Manual quantitative analysis of cardiac left ventricular function using Multislice CT and MR is arduous because of the large data volume. In this paper, we present a 3-D ...
121
click to vote
ICWE
2009
Springer
15 years 9 months ago
2009
Springer
Model-driven engineering is a promising approach, but there are still many hurdles to overcome. The tool UWE4JSF solves the hurdles for the model-driven development of web applicat...
102
click to vote
MODELS
2007
Springer
15 years 8 months ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
123
click to vote
UM
2005
Springer
15 years 8 months ago
2005
Springer
We present further developments in our work on using data from real users to build a probabilistic model of user affect based on Dynamic Bayesian Networks (DBNs) and designed to de...