125 search results - page 14 / 25 » Verifying Model Oriented Specifications through Animation |
ECMDAFA
2007
Springer
14 years 27 days 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...
ICIW
2009
IEEE
14 years 1 months ago
2009
IEEE
— Supporting business services through Web service compositions (WSC) as part of service-oriented architectures (SOA) involves business performance monitoring requirements. Their...
IROS
2009
IEEE
14 years 1 months ago
2009
IEEE
— In this paper a new strategy for handling the observation information of a bearing-range sensor throughout the filtering process of EKF-SLAM is proposed. This new strategy is ...
FAC
2008
13 years 6 months ago
2008
A development of the Mondex system was undertaken using Event-B and its associated proof tools. mental approach was used whereby the refinement between the abstract specification o...
OHS
2001
Springer
13 years 11 months ago
2001
Springer
The size of Internet has been growing very fast and many documents appear every day in the Net. Users find many problems to obtain the information that they really need. In order t...