244 search results - page 12 / 49 » A Model of Components with Non-regular Protocols |
108
click to vote
ANTSW
2008
Springer
15 years 1 months ago
2008
Springer
Design and development of routing protocols for Mobile Ad Hoc Networks (MANETs) is an active area of research. The standard practice among researchers working in this emerging doma...
FMICS
2010
Springer
15 years 23 days ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
SMI
2010
IEEE
14 years 9 months ago
2010
IEEE
This paper presents a benchmarking system for the evaluation of robust mesh watermarking methods. The proposed benchmark has three different components: a "standard" mesh...
FMSD
2002
14 years 11 months ago
2002
Abstract. We de ne a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pat...
94
Voted
FMSD
2006
14 years 11 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...