671 search results - page 2 / 135 » Semantics Preserving Model Composition |
JODL
2006
13 years 5 months ago
2006
To date, long-term preservation approaches have comprised of emulation, migration, normalization, and metadata
VMCAI
2009
Springer
14 years 4 days ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
PERCOM
2008
ACM
14 years 5 months ago
2008
ACM
This paper presents preliminary results on anonymization and obfuscation techniques to preserve users' privacy in context-aware service provisioning. The techniques are based...
CGF
2008
13 years 5 months ago
2008
We present a system for creating and manipulating layered procedural surface editing operations, which is motivated by the limited support for iterative design in free-form modeli...
FUIN
2008
13 years 5 months ago
2008
Starting from a compositional operational semantics of transition P Systems we have previously defined, we face the problem of developing an axiomatization that is sound and comple...