4513 search results - page 283 / 903 » Modeling with a Sense of Purpose |
188
click to vote
IEE
2008
15 years 6 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
170
click to vote
MODELS
2010
Springer
15 years 5 months ago
2010
Springer
In feature models’ construction, one basic task is to ensure the consistency of feature models, which often involves detecting and fixing of inconsistencies in feature models. S...
187
click to vote
ANTSW
2010
Springer
15 years 4 months ago
2010
Springer
Activator-inhibitor models have been widely used to explain several morphogenetic processes. They have also been used to engineer algorithms for computer graphics, distributed syst...
277
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
In this paper, we propose a methodological approach for the model driven development of secure XML databases (DB). This proposal is within the framework of MIDAS, a model driven m...
197
click to vote
DBSEC
2008
15 years 8 months ago
2008
With the growing use of wireless networks and mobile devices, we are moving towards an era where spatial and temporal information will be necessary for access control. The use of s...