Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements.
Martín López NoresJorge García DuqueJosé Juan Pazos-AriasPublished in: COORDINATION (2006)
Keyphrases
- formal specification
- ad hoc networks
- service requirements
- model checking
- wireless networks
- routing protocol
- queue length
- object oriented design
- end to end
- service level
- routing algorithm
- key management
- wireless ad hoc networks
- quality of service
- mobile networks
- process algebra
- peer to peer
- mobile ad hoc networks
- lead time
- formal methods
- reverse engineering
- data model
- information systems
- real time
- qos requirements
- wireless sensor networks
- e learning