2722 search results - page 244 / 545 » The Model Evolution Calculus |
137
Voted
EUROCRYPT
2008
Springer
15 years 5 months ago
2008
Springer
Standard security notions for encryption schemes do not guarantee any security if the encrypted messages depend on the secret key. Yet it is exactly the stronger notion of security...
135
Voted
CLEIEJ
2010
15 years 1 months ago
2010
Global Model Management (GMM) is a model-based approach for managing large sets of interrelated heterogeneous and complex MDE artifacts. Such artifacts are usually represented as ...
165
click to vote
GIS
2009
ACM
15 years 8 months ago
2009
ACM
Data warehouses and On-Line Analytical Processing (OLAP) provide an analysis framework supporting the decision making process. In many application domains, complex analysis tasks ...
106
click to vote
BIOCOMP
2006
15 years 5 months ago
2006
The use of computer algebra software has many applications in diverse fields like epidemiology. This work pretends to show how computer algebra software applications for symbolic ...
96
Voted
ENTCS
2007
15 years 3 months ago
2007
In the theory of graph rewriting, the use of coalescing rules, i.e., of rules which besides deleting and generating graph items, can coalesce some parts of the graph, turns out to...