761 search results - page 33 / 153 » Reverse engineering MAC |
ECMDAFA
2007
Springer
14 years 2 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...
IDEAL
2007
Springer
14 years 2 months ago
2007
Springer
CRV
2006
IEEE
14 years 2 months ago
2006
IEEE
The Nomad 200 and the Nomad SuperScouts are among the most popular platforms used, for research in robotics. Built in the early 1990’s they were the base of choice for many mobil...
LAWEB
2005
IEEE
14 years 1 months ago
2005
IEEE
ICFCA
2005
Springer
14 years 1 months ago
2005
Springer
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...