Title | ||
---|---|---|
Achieving dependability in sensor networks through automated requirements-based programming |
Abstract | ||
---|---|---|
Geocasting is the delivery of packets to nodes within a certain geographic area. For many applications in wireless ad hoc and sensor networks, geocasting is an important and frequent communication service. The challenging problem in geocasting is distributing ... |
Year | DOI | Venue |
---|---|---|
2006 | 10.1016/j.comcom.2005.05.020 | Computer Communications |
Keywords | Field | DocType |
Sensor networks,Formal methods,Automatic code generation | Dependability,Program transformation,Computer science,Sensor array,Code generation,Real-time computing,Formal specification,Formal methods,System requirements,Wireless sensor network | Journal |
Volume | Issue | ISSN |
29 | 2 | Computer Communications |
Citations | PageRank | References |
3 | 0.40 | 9 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Michael G. Hinchey | 1 | 697 | 91.11 |
James L. Rash | 2 | 395 | 43.67 |
Christopher A. Rouff | 3 | 409 | 50.08 |
Denis Gračanin | 4 | 125 | 17.87 |