Sciweavers

6 search results - page 2 / 2
» Using virtual markets to program global behavior in sensor n...
Sort
View
FORTE
2011
13 years 12 days ago
A Framework for Verifying Data-Centric Protocols
Abstract. Data centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, whic...
Yuxin Deng, Stéphane Grumbach, Jean-Fran&cc...