2968 search results - page 380 / 594 » Network Programming Using PLAN |
162
click to vote
FAC
2010
15 years 2 months ago
2010
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
128
click to vote
IPSN
2007
Springer
15 years 11 months ago
2007
Springer
TinyOS applications are built with software components that communicate through narrow interfaces. Since components enable finegrained code reuse, this approach has been successf...
175
click to vote
JNCA
2011
14 years 11 months ago
2011
Built upon a shared wireless medium, wireless mesh network is particularly vulnerable to jamming attacks. The ability to recover from attacks and maintain an acceptable level of s...
146
click to vote
DCOSS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Wireless sensor networks come of age and start moving out of the laboratory into the field. As the number of deployments is increasing the need for an efficient and relia...
118
click to vote
CN
2006
15 years 4 months ago
2006
By combining the Open Kernel Environment, a Click-like software model known as Corral and basic concepts of active networking, we allow third-party code to control the code organi...