Sciweavers

51 search results - page 11 / 11
» A Verified Compiler for Synchronous Programs with Local Decl...
Sort
View
EXPERT
2006
84views more  EXPERT 2006»
13 years 4 months ago
Infrastructure for Engineered Emergence on Sensor/Actuator Networks
abstraction rules that hide the complexity of systems of components. We've begun this process in the domain of sensor/actuator network applications, observing that in manyappl...
Jacob Beal, Jonathan Bachrach