77 search results - page 4 / 16 » Model Checking the FlexRay Physical Layer Protocol |
PATMOS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper presents the validation methodology established and applied during the development of a wireless LAN application. The target of the development is the implemen...
ADHOCNOW
2006
Springer
14 years 2 months ago
2006
Springer
In this paper, we outline a simple approach, called ROAR, that enables the Ad-Hoc On-Demand Distance Vector (AODV) routing protocol to strengthen its routes by recruiting neighbors...
JSAC
2007
13 years 8 months ago
2007
Abstract— Cooperative diversity facilitates spatio-temporal communications without requiring the deployment of physical antenna arrays. While physical layer studies on cooperativ...
CCS
2009
ACM
14 years 3 months ago
2009
ACM
Modern computer systems permit users to access protected information from remote locations. In certain secure environments, it would be desirable to restrict this access to a part...
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper describes a design space exploration experiment for a real application from the embedded networking domain - the physical layer of a wireless protocol. The application ...