5353 search results - page 206 / 1071 » Modelling Contexts in the Or-BAC Model |
272
click to vote
MCS
2011
Springer
15 years 1 months ago
2011
Springer
In this paper we consider a discontinuous one-dimensional piecewise linear model describing a neoclassical growth model. These kind of maps are widely used in the applied context....
145
click to vote
QUACON
2009
Springer
16 years 1 months ago
2009
Springer
Open architectures demand for a federation of data from different context providers, which nearly always will be inconsistent to a certain degree. We present an approach for the ev...
137
click to vote
MODELS
2007
Springer
16 years 24 days ago
2007
Springer
This position paper shortly describes methods and tools under development to support a model-based reengineering process of user interfaces of legacy applications. This reengineer...
153
click to vote
ACSAC
2005
IEEE
16 years 9 days ago
2005
IEEE
The Bell-La Padula security model produced conceptual tools for the analysis and design of secure computer systems. Together with its sibling engineering initiatives, it identifi...
165
click to vote
KBSE
2005
IEEE
16 years 7 days ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...