5475 search results - page 399 / 1095 » Model Driven Security |
205
Voted
IJDMB
2008
15 years 7 months ago
2008
: Recently lots of studies aim at modeling and inferring gene networks. Modeling tools propose graphical models having almost nothing about time description of events and regards t...
194
Voted
IOT
2010
15 years 5 months ago
2010
Effectively assisting people in complex and highly dynamic work environment requires advances in high-level declarative activity models that can describe the flow of human work act...
187
Voted
JSS
2010
15 years 2 months ago
2010
In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. For this purpose we ...
187
click to vote
OOPSLA
2009
Springer
16 years 6 days ago
2009
Springer
Predefined composite operations are handy for efficient software modeling, e.g., for the automatic execution of refactor
171
Voted
JUCS
2007
15 years 7 months ago
2007
At Eurocrypt 2005, Boneh, Boyen and Goh presented a constant size ciphertext hierarchical identity based encryption (HIBE) protocol. Our main contribution is to present a variant ...