5255 search results - page 364 / 1051 » Formal Methods for Privacy |
154
click to vote
ICFCA
2010
Springer
16 years 1 months ago
2010
Springer
Concept lattices built on noisy data tend to be large and hence hard to interpret. We introduce several measures that can be used in selecting relevant concepts and discuss how the...
176
click to vote
AFP
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...
219
click to vote
AGTIVE
2007
Springer
16 years 28 days ago
2007
Springer
We present a compiler internal program optimization that uses graph rewriting. This optimization enables the compiler to automatically use rich instructions (such as SIMD instructi...
175
click to vote
AGTIVE
2007
Springer
16 years 28 days ago
2007
Springer
We present Tiger, a visual environment to design visual language (VL) specifications based on meta models, graph grammars and layout definitions. A VL specification serves as ba...
172
click to vote
AGTIVE
2007
Springer
16 years 28 days ago
2007
Springer
We present the EMF Model Transformation framework (EMT), which supports the rule-based modification of EMF models. Model transformation rules are defined graphically and compiled...