1255 search results - page 227 / 251 » Model-Driven Development of Model Transformations |
APLAS
2008
ACM
13 years 12 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...
ATAL
2008
Springer
13 years 12 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...
ACMACE
2005
ACM
13 years 12 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...
CP
2008
Springer
13 years 11 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...
DMSN
2008
ACM
13 years 11 months ago
2008
ACM
Wireless sensor, actuator networks (WSANs) distinguish themselves from wireless sensor networks by the need to coordinate actuators' actions, real-time constraints on communi...