32 search results - page 3 / 7 » Towards a Deep Metamodelling Based Formalization of Componen... |
APSEC
2007
IEEE
15 years 5 months ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
106
click to vote
BTW
2001
Springer
15 years 3 months ago
2001
Springer
Mediators – used in federated information systems – provide a homogeneous read-only access to a set of autonomous information sources. To achieve semantic integration of the h...
127
click to vote
SACMAT
2009
ACM
15 years 5 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
108
click to vote
JOLLI
2010
14 years 9 months ago
2010
After a quick overview of the field of study known as “Lexical Semantics”, where we advocate the need of accessing additional information besides syntax and Montaguestyle sema...
PCI
2001
Springer
15 years 3 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...