426 search results - page 49 / 86 » Towards Verifying Model Transformations |
IEEESCC
2005
IEEE
14 years 3 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
STEP
2003
IEEE
14 years 3 months ago
2003
IEEE
The reengineering of legacy software systems to modern Object Oriented platforms has received significant attention over the past few years. However, most often the reengineering ...
PODS
2008
ACM
14 years 10 months ago
2008
ACM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
JALC
2006
13 years 10 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
ICRA
1999
IEEE
14 years 2 months ago
1999
IEEE
: This paper develops methodology and technique for pose tracking of an autonomous mobile robot (AMR) using a laser scanner. A low-complexity and accurate pose-tracking EKF-based a...