1097 search results - page 173 / 220 » Model Transformations in the Development of Data-Intensive W... |
159
click to vote
ICETE
2004
15 years 2 months ago
2004
ser provides abstraction for supporting flexible security policies that can be developed using the low-level primitives of the browser. We believe our browser architecture will be ...
129
click to vote
VLC
2008
15 years 1 months ago
2008
Ensuring model quality is a key success factor in many computer science areas, and becomes crucial in recent software engineering paradigms like the one proposed by model-driven s...
144
click to vote
JAPLL
2010
15 years 2 hour ago
2010
Answering queries over an incomplete database w.r.t. a set of constraints is an important computational task with applications in fields as diverse as information integration and ...
ENTCS
2007
15 years 1 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
147
click to vote
EUROSYS
2008
ACM
15 years 10 months ago
2008
ACM
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...