168 search results - page 8 / 34 » A comparison of semantic models for noninterference |
ENTCS
2008
14 years 9 months ago
2008
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
133
click to vote
AOSD
2010
ACM
15 years 4 months ago
2010
ACM
Advice is a mechanism, widely used in aspect-oriented languages, that allows one program component to augment or modify the behavior of other components. When advice and other com...
SEMWEB
2007
Springer
15 years 3 months ago
2007
Springer
The ability to compute the differences that exist between two RDF models is an important step to cope with the evolving nature of the Semantic Web (SW). In particular, RDF Deltas c...
ENTCS
2006
14 years 9 months ago
2006
We formally define a notion of credit and responsibility within the Generalized Non Deducibility on Compositions framework. We investigate the validity of our definitions through ...
96
Voted
ER
2008
Springer
14 years 11 months ago
2008
Springer
Due to a turbulent market enterprises should be able to adapt their business processes in a quick and flexible way. This requires adaptive process-aware information systems (PAISs)...