Formal analysis of the startup delay of SOME/IP service discovery.
Jan R. SeylerThilo StreichertMichael GlaßNicolas NavetJürgen TeichPublished in: DATE (2015)
Keyphrases
- formal analysis
- service discovery
- wireless access networks
- web services
- computing environments
- semantic web services
- pervasive computing
- web service discovery
- resource discovery
- service oriented computing
- web services discovery
- agent model
- service composition
- formal methods
- service oriented architecture
- pervasive computing environments
- ban logic
- knowledge base
- ip address
- distributed systems
- pervasive environments