3410 search results - page 564 / 682 » Measuring Model Transformation in Model Driven Development |
151
Voted
EDBT
2010
ACM
15 years 7 months ago
2010
ACM
This paper develops toolsets for eliminating algorithm-based disclosure from existing privacy-preserving data publishing algorithms. We first show that the space of algorithm-base...
129
Voted
APLAS
2008
ACM
15 years 5 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
110
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we study tools for conviviality to develop user-friendly multiagent systems. First, we show how to use the social-cognitive concept of conviviality in multiagent sys...
124
Voted
ACMACE
2005
ACM
15 years 5 months ago
2005
ACM
We introduce how to involve the heat sensation in image creation by using thermal vision. We develop ”ThermoTablet” which can detect touch regions of physical input objects on...
116
Voted
CP
2008
Springer
15 years 5 months ago
2008
Springer
When implementing a propagator for a constraint, one must decide about variants: When implementing min, should one also implement max? Should one implement linear equations both wi...