TY - CONF T1 - Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring T2 - Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the Y1 - 2013 A1 - Kun Zhang A1 - Jonathan Sprinkle KW - accelerometers KW - Code Generation KW - communication task KW - computation task KW - Computational modeling KW - concurrent engineering KW - concurrent tasks specification KW - control tasks KW - cyber-physical systems KW - domain-specific modeling language KW - drifters KW - embedded programming KW - environmental monitoring (geophysics) KW - environmental science computing KW - floating sensor testbed KW - formal specification KW - Global Positioning System KW - GPS sensors KW - hand-written code KW - Instruction sets KW - mobile computing KW - mobile phone KW - mobile radio KW - mobile sensing platforms KW - model-based software synthesis KW - model-integrated computing KW - program compilers KW - Programming KW - self-reconfigurable sensor network KW - Smart phones KW - software synthesis KW - ubiquitous mobile device KW - Unified modeling language KW - water flow monitoring KW - wireless sensor networks JF - Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the UR - http://dx.doi.org/10.1109/ECBS.2013.34 ER -