974 search results - page 7 / 195 » Formal Modeling of Communication Traces |
EMSOFT
2008
Springer
13 years 9 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
WMCSA
2008
IEEE
14 years 1 months ago
2008
IEEE
ECMDAFA
2007
Springer
14 years 1 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
ICW
2005
IEEE
14 years 28 days ago
2005
IEEE
Realistic simulation scenarios are critical to correctly assess the performance of mobile ad hoc networks. This paper presents a tool to generate realistic mobility traces for MAN...
IFIP
2007
Springer
14 years 1 months ago
2007
Springer