5255 search results - page 364 / 1051 » Formal Methods for Privacy |
124
click to vote
ICFCA
2010
Springer
15 years 11 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...
152
Voted
AFP
2008
Springer
15 years 11 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 ...
188
Voted
AGTIVE
2007
Springer
15 years 11 months 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...
143
click to vote
AGTIVE
2007
Springer
15 years 11 months 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...
138
Voted
AGTIVE
2007
Springer
15 years 11 months 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...